Made server port number configurable