1.在dos界面修改jetty服务器端口号:
可以直接在start.ini中加入"-Djetty.port=8081"
2.找到jetty安装路径jetty.xml
操作为:<Set name="port"><Property name="jetty.port" default="8080"/></Set>
可以直接在start.ini中加入"-Djetty.port=8081"
2.找到jetty安装路径jetty.xml
操作为:<Set name="port"><Property name="jetty.port" default="8080"/></Set>