From 143dce6672972a864a427f34f6513e5faeeaeb48 Mon Sep 17 00:00:00 2001
From: Perttu Ahola <celeron55@gmail.com>
Date: Sun, 16 Oct 2011 19:38:56 +0300
Subject: [PATCH] When player times out, log the action as a timeout rather
 than regular quitting

---
 src/server.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/server.cpp b/src/server.cpp
index 33c3b59b3..3e22a023a 100644
--- a/src/server.cpp
+++ b/src/server.cpp
@@ -4399,8 +4399,9 @@ void Server::handlePeerChange(PeerChange &c)
 					os<<player->getName()<<" ";
 				}
 
-				actionstream<<player->getName()
-						<<" leaves game. List of players: "
+				actionstream<<player->getName()<<" "
+						<<(c.timeout?"times out.":"leaves game.")
+						<<" List of players: "
 						<<os.str()<<std::endl;
 			}
 		}