add version to debug page

web/index.html

@@ -15,7 +15,7 @@
         <div id="header">
             <p id="free_ports" />
             <div id="connected" class="hidden"><!--INSERT SVG HERE--></div>
-            <p id="last_ping" />
+            <p id="last_ping" title="v#INSERT VERSION HERE#" />
         </div>
 
         <table id="table">

web/main.js

@@ -149,40 +149,44 @@ window.onload = () => {
     table = [];
 
     for (let number in data.allocated_ports) {
-      let port = data.allocated_ports[number];
-      number = +number;
+      try {
+        let port = data.allocated_ports[number];
+        number = +number;
 
-      // allocated port has no state. This means that it is unknown and should not be displayed
-      if (data.port_state[port] == undefined) {
-        continue;
+        // allocated port has no state. This means that it is unknown and should not be displayed
+        if (data.port_state[port] == undefined) {
+          continue;
+        }
+
+        let { status, last_change } = data.port_state[port];
+
+        let rejector = data.rejectors[port] || null;
+
+        if (rejector && rejector instanceof Array) {
+          rejector = rejector.map((x) => "0x" + x.toString(16).padStart(2, 0))
+            .join(" ");
+        }
+
+        last_change = new Date(last_change * 1000);
+
+        let name = data.names[number] || null;
+
+        switch (status) {
+          case "disconnected":
+            status = rejector ? `getrennt: ${rejector}` : "getrennt";
+            break;
+          case "idle":
+            status = "bereit";
+            break;
+          case "in_call":
+            status = "anruf";
+            break;
+        }
+
+        table.push({ port, number, status, last_change, rejector, name });
+      } catch (error) {
+        console.error(error);
       }
-
-      let { status, last_change } = data.port_state[port];
-
-      let rejector = data.rejectors[port] || null;
-
-      if (rejector && rejector instanceof Array) {
-        rejector = rejector.map((x) => "0x" + x.toString(16).padStart(2, 0))
-          .join(" ");
-      }
-
-      last_change = new Date(last_change * 1000);
-
-      let name = data.names[number] || null;
-
-      switch (status) {
-        case "disconnected":
-          status = rejector ? `getrennt: ${rejector}` : "getrennt";
-          break;
-        case "idle":
-          status = "bereit";
-          break;
-        case "in_call":
-          status = "anruf";
-          break;
-      }
-
-      table.push({ port, number, status, last_change, rejector, name });
     }
 
     for (let [timestamp, port] of data.errored_ports) {