I'm working with Leon verification system online at http://leon.epfl.ch/. I'm having problems with the connection with the following errors:
Failed to connect: Leon failed to contact the mothership :( It usually indicates that your firewall blocks traffic on websocket ports.
Failed to connect: The Leon server appears to be unreachable right now.
Is there any way I can solve this kind of problem on my own?
