made server port number configurable