Updated window title

Author: malloch

js/command.js

@@ -105,9 +105,9 @@ var command = {
         command.ws = null;
 
         if (command.num_ws_tries == 10) {
-            document.title = 'mapperGUI: error connecting to server after 10 tries';
+            document.title = 'webmapper: error connecting to server after 10 tries';
 //            setTimeout(function(){
-////                    document.title = 'mapperGUI (connecting...)';
+////                    document.title = 'webmapper (connecting...)';
 //                }, 10000);
             command.num_ws_tries ++;
             return;
@@ -129,7 +129,7 @@ var command = {
         if (!command.ws) {
             if (console)
                 console.log("Couldn't create web socket.");
-            document.title = 'mapperGUI: connection to server unavailable';
+            document.title = 'webmapper: connection to server unavailable';
             return;
         }
         command.ws.is_closed = false;
@@ -138,22 +138,22 @@ var command = {
             if (console)
                 console.log("websocket opened");
             command.ws.is_opened = true;
-            document.title = 'mapperGUI: connected to server';
+            document.title = 'webmapper: connected to server';
         }
         command.ws.onmessage = function(e) {
             command.json_handler(e.data);
         }
         command.ws.onerror = function(e) {
             if (console)
                 console.log('websocket error: ' + e.data);
-            document.title = 'mapperGUI: error connecting to server' + e.data;
+            document.title = 'webmapper: error connecting to server' + e.data;
         }
         command.ws.onclose = function(e) {
             if (console)
                 console.log("websocket closed");
             command.ws.is_closed = true;
             command.ws.is_opened = false;
-            document.title = 'mapperGUI: connection to server closed';
+            document.title = 'webmapper: connection to server closed';
         }
     }
 };