WEB_SOCKET_SERVER can share port with WEB_SERVER now