+ created: function() {
+ const url = socketUrl;
+ // random enough (TODO: function)
+ const sid = (Date.now().toString(36) + Math.random().toString(36).substr(2, 7)).toUpperCase();
+ this.conn = new WebSocket(url + "/?sid=" + sid + "&page=index");
+ const socketMessageListener = msg => {
+ const data = JSON.parse(msg.data);
+ if (data.code == "counts")
+ this.counts = data.counts;
+ else if (data.code == "increase")
+ this.counts[data.vname]++;
+ else if (data.code == "decrease")
+ this.counts[data.vname]--;
+ };
+ const socketCloseListener = () => {
+ console.log("Lost connection -- reconnect");
+ this.conn = new WebSocket(url + "/?sid=" + sid + "&page=index");
+ this.conn.addEventListener('message', socketMessageListener);
+ this.conn.addEventListener('close', socketCloseListener);
+ };
+ this.conn.onmessage = socketMessageListener;
+ this.conn.onclose = socketCloseListener;
+ },