Noddy support for changing the port the server is running on