master
/ .localenv / lib / python3.5 / site-packages / terminado / uimod_embed.js

uimod_embed.js @master

4d078e2
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
// 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);