jeol-t330a/succbone/succd/index.html

247 lines
6.4 KiB
HTML
Raw Normal View History

2024-09-12 01:02:57 +00:00
<!DOCTYPE html>
<meta charset="utf-8">
<title>succd</title>
<meta name="viewport" content="width=device-width, initial-scale=1" />
<style>
body {
font-size: 14px;
padding: 2em;
}
table {
font-size: 40px;
}
th, td {
background-color: #e8e8e8;
padding: 0.4em;
}
th {
font-weight: 100;
text-align: right;
font-size: 30px;
}
td {
text-align: left;
}
td {
font-weight: 800;
}
h2 {
font-style: italic;
font-weight: 100;
}
</style>
<h1>succd</h1>
<h2>nothing more permanent than a temporary solution</h2>
<p style="margin-top: 5em;">
<table>
<tr>
<th>Voltage</th>
<td id="volts">{{.volts}}</td>
</tr>
<tr>
<th>Pressure</th>
<td id="mbar">{{.mbar}}</td>
</tr>
<tr>
<th>Status</th>
<td id="status">OK</td>
</tr>
</table>
</p>
<p style="margin-top: 2em;">
<canvas id="graph" width="1024" height="512" style="max-width: 100%;"></canvas>
2024-09-12 01:02:57 +00:00
</p>
<p style="font-style: italic; font-size: 12px; margin-top: 5em;">
{{.hostname}} | load: {{.load}} | <a href="/debug/pprof">pprof</a> | <a href="/metrics">metrics</a> | ws ping: <span id="ping"></span>
</p>
<script>
let historical = [];
let canvas = null;
// Push a datapoint (in mbar) to the historical buffer, maintaining enough data
// for ~10 minutes.
let historicalPush = (v) => {
historical.push({v: v, time: Date.now() / 1000});
let len = historical.length;
// TODO(q3k): trim based on recorded timestamp, not constant buffer size.
let trim = len - 8192;
if (trim > 0) {
historical = historical.slice(trim);
}
};
// Draw the historical graph and schedule next draw in 100msec.
let historicalDraw = (w, h) => {
const now = Date.now() / 1000;
// TODO(q3k): better use canvas API to not have so much silly math around
// coordinate calculation.
canvas.clearRect(0, 0, w, h);
canvas.fillStyle = "#f0f0f0";
canvas.fillRect(0, 0, w, h);
// Margins of the main graph window.
const marginLeft = 64;
const marginRight = 32;
const marginTop = 32;
const marginBottom = 32;
// Draw main graph window.
canvas.fillStyle = "#f8f8f8";
canvas.strokeStyle = "#444";
canvas.lineWidth = 1;
canvas.fillRect(marginLeft, marginTop, w-(marginLeft+marginRight), h-(marginTop+marginBottom));
canvas.strokeRect(marginLeft, marginTop, w-(marginLeft+marginRight), h-(marginTop+marginBottom));
// Range of decades for Y value.
const ymin = -4;
const ymax = 4;
// Pixels per decade.
const yscale = (h - (marginTop+marginBottom)) / (ymax - ymin);
// For every decade...
for (let i = ymin; i < ymax; i++) {
const yoff = (i - ymin) * yscale + yscale / 2;
const y = Math.floor(h - marginBottom - yoff) + 0.5;
// Draw Y scale ticks.
canvas.beginPath();
canvas.moveTo(marginLeft-5, y);
canvas.lineTo(marginLeft, y);
canvas.strokeStyle = "#000";
canvas.stroke();
// Draw Y grid.
canvas.beginPath();
canvas.moveTo(marginLeft, y);
canvas.lineTo(w-marginRight-1, y);
canvas.strokeStyle = "#ccc";
canvas.stroke();
// Draw Y fine grid.
if (i > ymin) {
for (let j = 2; j < 10; j++) {
let yy = y - Math.log10(j/10) * yscale;
canvas.beginPath();
canvas.moveTo(marginLeft, yy);
canvas.lineTo(w-marginRight-1, yy);
canvas.strokeStyle = "#eee";
canvas.stroke();
}
}
// Draw Y labels.
canvas.font = "10px sans-serif";
canvas.fillStyle = "#000";
canvas.textAlign = "right";
const text = `10^${i}`;
canvas.fillText(text, marginLeft-10, y+5);
}
// How much space to leave in front of the graph.
const xhead = 10;
// Draw X labels..
canvas.textAlign = "center";
canvas.fillText("Now", w - marginRight - xhead, h - marginBottom + 15)
canvas.fillText("-10min", marginLeft, h - marginBottom + 15)
const xmax = 60 * 10;
const xscale = (w - (marginLeft+marginRight+xhead)) / (xmax);
// Clip to main window.
canvas.save();
canvas.beginPath();
canvas.rect(marginLeft, marginTop, w-(marginLeft+marginRight), h-(marginTop+marginBottom+1));
canvas.clip();
// Draw actual data line.
let first = true;
canvas.beginPath();
historical.forEach((v) => {
const time = v.time;
const mbar = v.v;
const elapsed = now-time;
if (elapsed > xmax) {
return;
}
const x = (w - marginRight - xhead) - (elapsed * xscale);
const yoff = (Math.log10(mbar) - ymin) * yscale + yscale / 2;
const y = h - marginBottom - yoff;
if (first) {
first = false;
canvas.moveTo(x, y);
} else {
canvas.lineTo(x, y);
}
});
canvas.strokeStyle = "#de1010";
canvas.lineWidth = 1;
canvas.stroke();
canvas.restore();
setTimeout(() => { historicalDraw(w, h); }, 100);
};
window.addEventListener("load", (_) => {
console.log("s u c c");
let status = document.querySelector("#status");
let volts = document.querySelector("#volts");
let mbar = document.querySelector("#mbar");
let ping = document.querySelector("#ping");
canvas = document.querySelector("#graph").getContext("2d");
// TODO(q3k): unhardcode this.
2024-09-12 01:02:57 +00:00
historicalDraw(1024, 512);
// Basic retry loop for connecting to WS.
let loc = window.location;
let wsloc = "";
if (loc.protocol == "https:") {
wsloc = "wss:";
} else {
wsloc = "ws:";
}
wsloc += "//" + loc.host + "/stream";
console.log("Connecting to " + wsloc + "...");
let connected = false;
let connect = () => {
const socket = new WebSocket(wsloc);
socket.addEventListener("open", (event) => {
connected = true;
console.log("Socket connected!");
status.innerHTML = "Online";
status.style = "background-color: #60f060;";
});
socket.addEventListener("message", (event) => {
const data = JSON.parse(event.data);
volts.innerHTML = data.Volts;
mbar.innerHTML = data.Mbar;
historicalPush(data.MbarFloat);
ping.innerHTML = Date.now();
});
socket.addEventListener("close", (event) => {
status.innerHTML = "Offline";
status.style = "background-color: #f06060;";
if (connected) {
console.log("Socket dead, reconnecting...");
}
connected = false;
setTimeout(connect, 1000);
});
socket.addEventListener("error", (event) => {
socket.close();
});
};
connect();
});
</script>