|
|
|
var ws_addr = 'wss://'+window.location.host+"/12/pipe/",
|
|
|
|
sock = null,
|
|
|
|
shell = document.getElementById("shell"),
|
|
|
|
authors = document.getElementById("authors"),
|
|
|
|
title = document.getElementById("title"),
|
|
|
|
connections = document.getElementById("connections");
|
|
|
|
|
|
|
|
var delay = 10 * 1000;
|
|
|
|
function showtitle(t) {
|
|
|
|
setTimeout(function () {
|
|
|
|
title.innerHTML = t;
|
|
|
|
}, delay);
|
|
|
|
}
|
|
|
|
|
|
|
|
function showauthors(a) {
|
|
|
|
setTimeout(function () {
|
|
|
|
authors.innerHTML = a;
|
|
|
|
}, delay);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
function connect () {
|
|
|
|
sock = new WebSocket(ws_addr);
|
|
|
|
sock.onopen = function (event) {
|
|
|
|
console.log("socket opened");
|
|
|
|
document.body.classList.add("connected");
|
|
|
|
// sock.send(JSON.stringify({
|
|
|
|
// src: "connect",
|
|
|
|
// }));
|
|
|
|
};
|
|
|
|
sock.onmessage = function (event) {
|
|
|
|
// console.log("message", event);
|
|
|
|
if (typeof(event.data) == "string") {
|
|
|
|
var msg = JSON.parse(event.data);
|
|
|
|
// console.log("message JSON", msg);
|
|
|
|
if (msg.src == "stdin" && msg.line) {
|
|
|
|
|
|
|
|
// use a regular expression to parse the line
|
|
|
|
var m = msg.line.match(/^meta:(.*?):(.*)$/);
|
|
|
|
if (m) {
|
|
|
|
console.log("m", m[1], m[2]);
|
|
|
|
if (m[1] == "title") {
|
|
|
|
showtitle(m[2]);
|
|
|
|
}
|
|
|
|
if (m[1] == "authors"){
|
|
|
|
showauthors(m[2]);
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
//console.log("bad line", msg.line)
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
// Show all lines
|
|
|
|
var line = document.createElement("div");
|
|
|
|
line.classList.add("line");
|
|
|
|
line.innerHTML = msg.line;
|
|
|
|
shell.appendChild(line);
|
|
|
|
// scroll to bottom
|
|
|
|
shell.scrollTop = shell.scrollHeight;
|
|
|
|
*/
|
|
|
|
} else if (msg.src == "connect") {
|
|
|
|
connections.innerHTML = msg.connections;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
sock.onclose = function (event) {
|
|
|
|
// console.log("socket closed");
|
|
|
|
connections.innerHTML = "?";
|
|
|
|
document.body.classList.remove("connected");
|
|
|
|
sock = null;
|
|
|
|
window.setTimeout(connect, 2500);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
connect();
|