Updated port in production

By default, the server runs on port 10555.