catch up ketchup on the http-server
don't crash when browser leaves
simplify reconnecting of websockets