User can specify the port of web server