config.py : Fixed default value for web server port.