Added option to specify the port number for the web interface