96 lines
2.7 KiB
JavaScript
96 lines
2.7 KiB
JavaScript
(function() {
|
|
var httpsEnabled = window.location.protocol == "https:";
|
|
var url = (httpsEnabled ? 'wss://' : 'ws://') + window.location.host + window.location.pathname + 'ws';
|
|
var protocols = ["gotty"];
|
|
var autoReconnect = -1;
|
|
|
|
var openWs = function() {
|
|
var ws = new WebSocket(url, protocols);
|
|
|
|
var term;
|
|
|
|
var pingTimer;
|
|
|
|
ws.onopen = function(event) {
|
|
ws.send(gotty_auth_token);
|
|
|
|
pingTimer = setInterval(sendPing, 30 * 1000, ws);
|
|
|
|
hterm.defaultStorage = new lib.Storage.Local();
|
|
hterm.defaultStorage.clear();
|
|
|
|
term = new hterm.Terminal();
|
|
|
|
term.getPrefs().set("send-encoding", "raw");
|
|
|
|
term.onTerminalReady = function() {
|
|
var io = term.io.push();
|
|
|
|
io.onVTKeystroke = function(str) {
|
|
ws.send("0" + str);
|
|
};
|
|
|
|
io.sendString = io.onVTKeystroke;
|
|
|
|
io.onTerminalResize = function(columns, rows) {
|
|
ws.send(
|
|
"2" + JSON.stringify(
|
|
{
|
|
columns: columns,
|
|
rows: rows,
|
|
}
|
|
)
|
|
)
|
|
};
|
|
|
|
term.installKeyboard();
|
|
};
|
|
|
|
term.decorate(document.getElementById("terminal"));
|
|
};
|
|
|
|
ws.onmessage = function(event) {
|
|
data = event.data.slice(1);
|
|
switch(event.data[0]) {
|
|
case '0':
|
|
term.io.writeUTF16(data);
|
|
break;
|
|
case '1':
|
|
// pong
|
|
case '2':
|
|
term.setWindowTitle(data);
|
|
break;
|
|
case '3':
|
|
preferences = JSON.parse(data);
|
|
Object.keys(preferences).forEach(function(key) {
|
|
console.log("Setting " + key + ": " + preferences[key]);
|
|
term.getPrefs().set(key, preferences[key]);
|
|
});
|
|
break;
|
|
case '4':
|
|
autoReconnect = JSON.parse(data);
|
|
console.log("Enabling reconnect: " + autoReconnect + " seconds")
|
|
break;
|
|
}
|
|
};
|
|
|
|
ws.onclose = function(event) {
|
|
if (term) {
|
|
term.uninstallKeyboard();
|
|
term.io.showOverlay("Connection Closed", null);
|
|
}
|
|
clearInterval(pingTimer);
|
|
if (autoReconnect > 0) {
|
|
setTimeout(openWs, autoReconnect * 1000);
|
|
}
|
|
};
|
|
}
|
|
|
|
|
|
var sendPing = function(ws) {
|
|
ws.send("1");
|
|
}
|
|
|
|
openWs();
|
|
})()
|