#!/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;
php -S $host:$port -t public/ >> server.log 2>&1  &
pid=$!
echo $pid > .php_pid