From 760aa47edf1155f1e9e65f961b6d0d5b11ced8b3 Mon Sep 17 00:00:00 2001
From: mcmlxxix <>
Date: Tue, 3 Mar 2015 22:34:44 +0000
Subject: [PATCH] store raceTime properly in the database

---
 xtrn/maze/game.js    | 3 ++-
 xtrn/maze/mazeobj.js | 5 +++++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/xtrn/maze/game.js b/xtrn/maze/game.js
index e86d837816..a45803f220 100644
--- a/xtrn/maze/game.js
+++ b/xtrn/maze/game.js
@@ -705,8 +705,9 @@ function race(gameNumber)	{
 			game.winner = player.name;
 			data.storeRaceWinner(gameNumber,game.winner);
 		}
-		if(game.fog)
+		if(game.fog) {
 			fog.close();
+		}
 		end_time = Date.now();
 		game.raceTime = end_time - start_time;
 		data.storeRaceTime(gameNumber,game.raceTime,player.name);
diff --git a/xtrn/maze/mazeobj.js b/xtrn/maze/mazeobj.js
index 8d325af979..09321f08c4 100644
--- a/xtrn/maze/mazeobj.js
+++ b/xtrn/maze/mazeobj.js
@@ -49,6 +49,11 @@ function GameData()
 	}
 	this.storeRaceTime=function(gameNumber,raceTime,player) {
 		this.games[gameNumber].raceTime = raceTime;
+		client.write(game_id,
+			"games." + 
+			gameNumber + 
+			".raceTime", 
+			raceTime,2);
 		if(raceTime < this.profiles[player].best_time || this.profiles[player].best_time == 0) {
 			this.profiles[player].best_time = raceTime;
 			client.write(game_id,
-- 
GitLab