| 12345678910111213141516171819 |
- #!/bin/bash
- port=80
- server_public=yes
- . config
- host=0.0.0.0;
- if [ "$server_public" == "no" ]; then
- host=localhost;
- fi
- echo "PUBLIC: " $server_public $host;
- echo "PORT: " $port
- php -S $host:$port -t public/ >> server.log 2>&1 &
- pid=$!
- echo $pid > .php_pid
- chmod a+w .php_pid
|