Jetty server

1: Modify the port number

http://www.cnblogs.com/freeweb/p/5943034.html

jetty default port is 8080, it’s easy to modify the port number, first enter the jetty server installation and di