hub/venv/lib/python3.7/site-packages/terminado/uimod_embed.js

17 lines
773 B
JavaScript

// Copyright (c) Jupyter Development Team
// Copyright (c) 2014, Ramalingam Saravanan <sarava@sarava.net>
// 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);