From a7f468cc7c5b3404d7dbe8ce3bcf1da777a4928d Mon Sep 17 00:00:00 2001
From: Cyp <cyp@wz2100.net>
Date: Mon, 29 Nov 2010 17:57:31 +0100
Subject: [PATCH] Add map name to desynch dumps.

---
 src/loop.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/loop.c b/src/loop.c
index fff7078cd..a7fb2ce27 100644
--- a/src/loop.c
+++ b/src/loop.c
@@ -158,6 +158,8 @@ GAMECODE gameLoop(void)
 
 	if (gameTicked)
 	{
+		syncDebug("map = \"%s\", humanPlayers = %d %d %d %d %d %d %d %d", game.map, isHumanPlayer(0), isHumanPlayer(1), isHumanPlayer(2), isHumanPlayer(3), isHumanPlayer(4), isHumanPlayer(5), isHumanPlayer(6), isHumanPlayer(7));
+
 		// Actually send pending droid orders.
 		sendQueuedDroidInfo();