nm: Make server port configurable in GUI