Branch: refs/heads/master
Home: https://github.com/phpmyadmin/docker
Commit: 4ceca79f633e743885200343c45f890db8ea60fc
https://github.com/phpmyadmin/docker/commit/4ceca79f633e743885200343c45f890db8ea60fc
Author: Peter Suschlik <p...@neopoly.de>
Date: 2016-01-12 (Tue, 12 Jan 2016)
Changed paths:
M run.sh
Log Message:
-----------
Make php server PID 1
It's a good practice to make the service PID 1
(although php cli does not handle `kill -TERM` at all).
Commit: 104da540548bf3c924eb30108bafbd341c3c8c3e
https://github.com/phpmyadmin/docker/commit/104da540548bf3c924eb30108bafbd341c3c8c3e
Author: Michal Čihař <mic...@cihar.com>
Date: 2016-01-12 (Tue, 12 Jan 2016)
Changed paths:
M run.sh
Log Message:
-----------
Merge pull request #14 from splattael/master
Make php server PID 1
Compare:
https://github.com/phpmyadmin/docker/compare/03470a9163b3...104da540548b_______________________________________________
Git mailing list
Git@phpmyadmin.net
https://lists.phpmyadmin.net/mailman/listinfo/git
