init onboard-unit

1 files changed, 92 insertions, 0 deletions

diff --git a/site/obu.hamlet b/site/obu.hamlet
new file mode 100644
index 0000000..d96b96f
--- /dev/null
+++ b/site/obu.hamlet
@@ -0,0 +1,92 @@
+<h1>_{MsgOBU}
+
+<section>
+  <h2>#{tripId} _{Msgon} #{day}
+  <strong>Token:</strong> <span id="token">
+
+<section>
+  <h2>_{MsgLive}
+  <p><strong>Position: </strong><span id="lat"></span>, <span id="long"></span>
+  <p><strong>Accuracy: </strong><span id="acc">
+
+<section>
+  <h2>Status
+  <p id="status">_{MsgNone}
+
+
+<script>
+  var token = null;
+
+  let euclid = (a,b) => {
+    let x = a[0]-b[0];
+    let y = a[1]-b[1];
+    return x*x+y*y;
+  }
+
+  let minimalDist = (point, list, proj, norm) => {
+    return list.reduce (
+      (min, x) => {
+        let dist = norm(point, proj(x));
+        return dist < min[0] ? [dist,x] : min
+      },
+      [norm(point, proj(list[0])), list[0]]
+    )[1]
+  }
+
+  let counter = 0;
+
+  async function geoPing(geoloc) {
+    console.log("got position update " + counter);
+    document.getElementById("lat").innerText = geoloc.coords.latitude;
+    document.getElementById("long").innerText = geoloc.coords.longitude;
+    document.getElementById("acc").innerText = geoloc.coords.accuracy;
+
+    fetch(`/api/train/ping`, {
+      method: "POST",
+      body: JSON.stringify({
+        token: token,
+        lat: geoloc.coords.latitude,
+        long: geoloc.coords.longitude,
+        timestamp: (new Date()).toISOString()
+      }),
+      headers: {"Content-Type": "application/json"}
+    }).then((resp) => {
+      counter = counter + 1;
+      document.getElementById("status").innerText = `${counter}: sent`;
+    }).catch((error) => document.getElementById("status").innerText = error);
+  }
+
+  async function geoError(error) {
+    document.getElementById("status").innerText = "error";
+    alert(`_{MsgPermissionFailed}: \n${error.message}`);
+    console.log(error);
+  }
+
+  async function main() {
+    let trip = await (await fetch("/api/trip/#{tripId}")).json();
+    console.log("got trip info");
+
+    token = await (await fetch("/api/train/register/#{tripId}", {
+      method: "POST",
+      body: JSON.stringify({agent: "onboard-unit"}),
+      headers: {"Content-Type": "application/json"}
+    })).json();
+
+
+    if (token.error) {
+      alert("could not obtain token: \n" + token.msg);
+      document.getElementById("status").innerText = "_{MsgTokenFailed}";
+    } else {
+      console.log("got token");
+
+      document.getElementById("token").innerText = token;
+
+      navigator.geolocation.watchPosition(
+        geoPing,
+        geoError,
+        {enableHighAccuracy: true}
+      );
+    }
+  }
+
+  main()