$0 = "http-server.pl [port $port]";