From 5c664a2667d85f4b655517ca1795001d4026c08b Mon Sep 17 00:00:00 2001 From: Michael Bayne Date: Tue, 5 Aug 2008 12:49:40 +0000 Subject: [PATCH] Report a bit more information in these strange edge cases. git-svn-id: svn+ssh://src.earth.threerings.net/narya/trunk@5292 542714f4-19e9-0310-aa3c-eee0fc999fb1 --- .../com/threerings/presents/server/ClientManager.java | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/src/java/com/threerings/presents/server/ClientManager.java b/src/java/com/threerings/presents/server/ClientManager.java index 77d6fce68..fb746cfcd 100644 --- a/src/java/com/threerings/presents/server/ClientManager.java +++ b/src/java/com/threerings/presents/server/ClientManager.java @@ -465,19 +465,20 @@ public class ClientManager protected void clientSessionDidEnd (final PresentsClient client) { // remove the client from the username map + Name username = client.getCredentials().getUsername(); PresentsClient rc; synchronized (_usermap) { - rc = _usermap.remove(client.getCredentials().getUsername()); + rc = _usermap.remove(username); } // sanity check just because we can if (rc == null) { - log.warning("Unregistered client ended session " + client + ".", new Exception()); + log.warning("Unregistered client ended session", "username", username, "client", client, + new Exception()); } else if (rc != client) { - log.warning("Different clients with same username!? " + - "[c1=" + rc + ", c2=" + client + "]."); + log.warning("Different clients with same username!?", "c1", rc, "c2", client); } else { - log.info("Ending session " + client + "."); + log.info("Ending session", "username", username, "client", client); } // notify the observers that the session is ended