server port should be easily configurable