From 811a99e0f0231520d7d98b71c2f3a98f4c23de9a Mon Sep 17 00:00:00 2001
From: Seven Du <dujinfang@gmail.com>
Date: Tue, 4 Jun 2013 10:23:23 +0800
Subject: [PATCH] close websocket before unload

---
 htdocs/portal/index.html | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/htdocs/portal/index.html b/htdocs/portal/index.html
index 9fbcef2963..2f1f9104d7 100644
--- a/htdocs/portal/index.html
+++ b/htdocs/portal/index.html
@@ -626,6 +626,12 @@
 -->
 <script type="text/javascript">
 
+	$(window).on('beforeunload', function() {
+		if (socket) {
+			socket.close();
+		}
+	});
+
 	function auto_update_calls() {
 		var x = $('#auto_update_calls')[0];
 		if (typeof x != "undefined" && x.checked) {