Moved the announcement of a leaving player to the client, and to yohoho,

where the announcement of an entering player is.


git-svn-id: svn+ssh://src.earth.threerings.net/narya/trunk@3577 542714f4-19e9-0310-aa3c-eee0fc999fb1

src/java/com/threerings/puzzle/server/PuzzleManager.java

@@ -574,15 +574,6 @@ public abstract class PuzzleManager extends GameManager
                 }
             }
         }
-
-        if (_puzobj.state != PuzzleObject.GAME_OVER) {
-            // inform remaining users that the user left
-            BodyObject user = (BodyObject)CrowdServer.omgr.getObject(bodyOid);
-            if (user != null) {
-                systemMessage(MessageBundle.tcompose(
-                                  "m.user_left", user.username));
-            }
-        }
     }
 
     /**