Disconnect the client side when we disconnect on the backend so that we don't

end up differing in opinion about whether or not we're connected. git-svn-id: svn+ssh://src.earth.threerings.net/vilya/trunk@456 c613c5cb-e716-0410-b11b-feb51c14d237
2007-10-18 00:57:56 +00:00
parent 4e462ce974
commit 60b3eabc16
2 changed files with 10 additions and 0 deletions
@@ -129,6 +129,7 @@ public class GameControlBackend
        _ctx.getChatDirector().removeChatDisplay(this);
        _ctx.getClient().getClientObject().removeListener(_userListener);
        _userFuncs = null; // disconnect
+        callUserCode("connectionClosed_v1");
    }

    /**