File size: 785 Bytes
d1ceb73 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 |
// Copyright (c) Jupyter Development Team
// Copyright (c) 2014, Ramalingam Saravanan <[email protected]>
// Distributed under the terms of the Simplified BSD License.
window.addEventListener(
"load",
function () {
var containers = document.getElementsByClassName("terminado-container");
var container, rows, cols, protocol, ws_url;
for (var i = 0; i < containers.length; i++) {
container = containers[i];
rows = parseInt(container.dataset.rows);
cols = parseInt(container.dataset.cols);
protocol = window.location.protocol.indexOf("https") === 0 ? "wss" : "ws";
ws_url =
protocol + "://" + window.location.host + container.dataset.wsUrl;
make_terminal(container, { rows: rows, cols: cols }, ws_url);
}
},
false,
);
|