修改jetty的默认端口号

　　jetty默认端口是8080，修改端口号也很简单，首先进入到jetty服务器安装目录下会看到start.ini配置文件，这里就是jetty启动时加载的配置，其中包括要加载的模块，超时时间配置还有这里的端口号等

　　首先执行 vim start.ini 打开配置文件，找到jetty.http.port这一个配置项，默认状况下是注释且为8080，如今去掉注释修改成自定义的端口号便可，好比

　　 jetty.http.port=8888 

　　

　　修改完以后，保存并退出，而后重启jetty便可生效

　　另外用nginx作前端服务器代理jetty和代理tomcat的配置是同样的