+ socketMessageListener: function(msg) {
+ const data = JSON.parse(msg.data);
+ // Only event is newmove, and received only:
+ if (data.code == "newmove") {
+ let games = !!parseInt(data.gid)
+ ? this.corrGames
+ : this.liveGames;
+ // NOTE: new move itself is not received, because it wouldn't be used.
+ let g = games.find(g => g.id == data.gid);
+ this.$set(g, "movesCount", g.movesCount + 1);
+ if (
+ (g.type == "live" && this.display == "corr") ||
+ (g.type == "corr" && this.display == "live")
+ ) {
+ document
+ .getElementById(g.type + "Games")
+ .classList.add("somethingnew");
+ }
+ }
+ },
+ socketCloseListener: function() {
+ this.conn = new WebSocket(this.connexionString);
+ this.conn.addEventListener("message", this.socketMessageListener);
+ this.conn.addEventListener("close", this.socketCloseListener);
+ }
+ }