diff options
| -rw-r--r-- | src/server.cpp | 5 |
1 files 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; } } |