close websocket before unload

diff --git a/htdocs/portal/index.html b/htdocs/portal/index.html
index 9fbcef29636ad233c1bae3675bf3790f655f1fcc..2f1f9104d714b178a209dbb04716f8b6609f142d 100644 (file)
--- 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) {