标签： websocket firewall leon
我在http://leon.epfl.ch/在线使用Leon验证系统。我遇到以下错误的连接问题：
联系失败：莱昂未能联系母舰:(通常 表示您的防火墙阻止了websocket端口上的流量。 连接失败：Leon服务器似乎无法连接 现在
联系失败：莱昂未能联系母舰:(通常 表示您的防火墙阻止了websocket端口上的流量。
连接失败：Leon服务器似乎无法连接 现在
我有什么办法可以自己解决这类问题吗？