When player times out, log the action as a timeout rather than regular quitting

diff --git a/src/server.cpp b/src/server.cpp
index 33c3b59b300413c63132712dcf5dacaafaa7e295..3e22a023aded7a77cd05e7b395dfbda301fad514 100644 (file)
--- 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;
                        }
                }