Ok cool. Because the web socket server runs on a non-standard port (for now) every now and again a mobile connection won't like it. Refreshing the page should fix that.