specified port number when starting php webserver.