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