From 3937ff775fff882c8e93b0b5f139cac4c4ffc0d4 Mon Sep 17 00:00:00 2001
From: "Cathy J. Fitzpatrick" <cathy@cathyjf.com>
Date: Mon, 20 May 2013 06:33:48 -0500
Subject: [PATCH] Delete the handler for the `disconnect` JSON event

Nothing in the server actually emits the `disconnect` event, so the
client does not need to handle it.
---
 js/client.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/js/client.js b/js/client.js
index 24835307b..8827fded4 100644
--- a/js/client.js
+++ b/js/client.js
@@ -581,7 +581,6 @@
 						self.receive(message.message);
 					}
 				},
-				disconnect: function () {},
 				nameTaken: function (data) {
 					// Legacy -- but still how the server communicates that a
 					// name is taken, so we need to support it for now.