start_server 281 B

12345678910111213141516171819
  1. #!/bin/bash
  2. port=80
  3. server_public=yes
  4. . config
  5. host=0.0.0.0;
  6. if [ "$server_public" == "no" ]; then
  7. host=localhost;
  8. fi
  9. echo "PUBLIC: " $server_public $host;
  10. echo "PORT: " $port
  11. php -S $host:$port -t public/ >> server.log 2>&1 &
  12. pid=$!
  13. echo $pid > .php_pid
  14. chmod a+w .php_pid