2023-01-23 00:58:44 +00:00
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<meta charset="utf-8" />
|
|
|
|
|
<pre></pre>
|
|
|
|
|
<script>
|
|
|
|
|
const el = document.querySelector("pre");
|
|
|
|
|
const id = location.hash.slice(1);
|
2023-01-23 01:04:25 +00:00
|
|
|
const ws = new WebSocket(
|
|
|
|
|
location.origin.replace(/^http/, "ws") + "/logs/socket/" + id
|
|
|
|
|
);
|
2023-01-23 00:58:44 +00:00
|
|
|
window.ws = ws;
|
|
|
|
|
ws.addEventListener("message", async (event) => {
|
|
|
|
|
el.append(await event.data.text());
|
|
|
|
|
});
|
|
|
|
|
</script>
|
