[phpmyadmin/docker] 4ceca7: Make php server PID 1

Branch: refs/heads/master Home: https://github.com/phpmyadmin/docker Commit: 4ceca79f633e743885200343c45f890db8ea60fc https://github.com/phpmyadmin/docker/commit/4ceca79f633e743885200343c45f890d... Author: Peter Suschlik <ps@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/104da540548bf3c924eb30108bafbd34... Author: Michal Čihař <michal@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
participants (1)
-
Michal Čihař