jetty 端口

1.在dos界面修改jetty服务器端口号：

        可以直接在start.ini中加入"-Djetty.port=8081"
        
2.找到jetty安装路径jetty.xml 

    操作为：<Set name="port"><Property name="jetty.port" default="8080"/></Set>

也可以配置在jetty-http.xml中

3.启动时可以

cd /d D:\jetty

java -jar -Djava.net.preferIPv4Stack=true start.jar

也可以在bin目录下jetty.sh start