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

[Michal Čihař]

  Branch: refs/heads/master
  Home:   https://github.com/phpmyadmin/docker
  Commit: 4ceca79f633e743885200343c45f890db8ea60fc
      https://github.com/phpmyadmin/docker/commit/4ceca79f633e743885200343c45f890db8ea60fc
  Author: Peter Suschlik <ps at 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ř <michal at 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