Make web server port configurable