use a websocket which automatically reconnects if the connection is lost

2014-11-04 10:51:53 +01:00
parent e3a54c11ee
commit 0d3ded68a0
4 changed files with 39 additions and 46 deletions
--- a/www/messages.js
+++ b/www/messages.js
@@ -13,6 +13,7 @@ define(function () {
    out.otherPeople = 'other people';
    out.disconnected = 'Disconnected';
    out.synchronizing = 'Synchronizing';
+    out.reconnecting = 'Reconnecting...';
    out.lag = 'Lag';

    out.initialState = [