需要在哪里修改,8080和443是通过另一台服务器的nginx转发到外网的
参考
HTTPS配置WebSocket-https://help.fanruan.com/finereport/doc-view-2662.html
Tomcat配置SSL证书实现HTTPS访问
WebSocket连接失败