+ abortGame: function(game) {
+ // Special "trans-pages" case: from MyGames to Game
+ // TODO: also for corr games? (It's less important)
+ if (game.type == "live") {
+ const oppsid =
+ game.players[0].sid == this.st.user.sid
+ ? game.players[1].sid
+ : game.players[0].sid;
+ this.conn.send(
+ JSON.stringify(
+ {
+ code: "mabort",
+ gid: game.id,
+ // NOTE: target might not be online
+ target: oppsid
+ }
+ )
+ );
+ }
+ else if (!game.deletedByWhite || !game.deletedByBlack) {
+ // Set score if game isn't deleted on server:
+ ajax(
+ "/games",
+ "PUT",
+ {
+ data: {
+ gid: game.id,
+ newObj: {
+ score: "?",
+ scoreMsg: getScoreMessage("?")
+ }
+ }
+ }
+ );
+ }
+ },
+ socketMessageListener: function(msg) {
+ const data = JSON.parse(msg.data);
+ if (data.code == "changeturn") {
+ 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);
+ }
+ }