[phpMyAdmin Git] [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/4ceca79f633e743885200343c45f890… Author: Peter Suschlik <ps(a)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/104da540548bf3c924eb30108bafbd3… Author: Michal Čihař <michal(a)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