Terrible hack

Jetty closes websocket automatically in about 1 minute. So I have told
it to keep it open for 10 hours. That should be enough.