wsgateway: clear locations on wsocket open

They are repopulated anew, so better get rid of the old remanants.

diff --git a/webdemo/index.html b/webdemo/index.html
index a29c4df6ad5ca9b3761ce5cff9e11850c11a1bb2..8ef95011ec5792a5ff0ea389b90e92dfb34a595f 100644 (file)
--- a/webdemo/index.html
+++ b/webdemo/index.html
@@ -161,6 +161,7 @@
                imei.disabled = false;
                send.disabled = false;
                clear.disabled = false;
+               locations.splice(0);
                sendIMEI();
        }
        function ws_onmessage(event) {