pthulin/HappyEdit — pull request #3 by Bost (2012-11-06 15:25:48+00:00)
Title: Error message: No connection to remote server

Give a hint what to do and where to look when a connection problem occurs.