root
/
PyWebIO
spiegel van https://github.com/pywebio/PyWebIO.git


			
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114
							<html>
<head>
    <meta charset="UTF-8">
    <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
    <title>Interactive notebook</title>

    <link href="css/mditor.min.css" rel="stylesheet">
    <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/bootstrap@4.4.1/dist/css/bootstrap.min.css"
          integrity="sha384-Vkoo8x4CGsO3+Hhxv8T/Q5PaXtkKtu6ug5TOeNV6gBiFeWPGFN9MuhOf23Q9Ifjh" crossorigin="anonymous">
    <link rel="stylesheet" href="css/codemirror.css">
    <link rel="stylesheet" href="codemirror/darcula.css">
    <link rel="stylesheet" href="codemirror/material-ocean.css">
    <link rel="stylesheet" href="css/app.css">
</head>
<body>
<div class="container no-fix-height">
    <div tabindex="1" class="mditor preview">
        <div class="head">
            <ul class="toolbar">
                <span id="title">Interactive notebook</span>
            </ul>
        </div>
        <div class="body">
            <div class="viewer">
                <div class="markdown-body" id="markdown-body">

                </div>
            </div>
        </div>
    </div>

    <div id="input-container">

    </div>
</div>

<script src="js/mustache.min.js"></script>

<script src="js/codemirror.js"></script>
<script src="codemirror/matchbrackets.js"></script>
<script src="codemirror/python.js"></script>
<script src="codemirror/loadmode.js"></script>
<script src="codemirror/active-line.js"></script>

<script src="js/mditor.min.js"></script>
<script src="js/form.js"></script>
<script src="js/FileSaver.min.js"></script>
<script src="https://cdn.jsdelivr.net/npm/jquery@3.4.1/dist/jquery.min.js"></script>
<script src="https://cdn.jsdelivr.net/npm/popper.js@1.16.0/dist/umd/popper.min.js"
        integrity="sha384-Q6E9RHvbIyZFJoft+2mJbHaEWldlvI9IOYy5n3zV9zzTtmI3UksdQRVvoxMfooAo"
        crossorigin="anonymous"></script>
<script src="https://cdn.jsdelivr.net/npm/bootstrap@4.4.1/dist/js/bootstrap.min.js"
        integrity="sha384-wfSDF2E50Y2D1uUdj0O3uMBJnjuUD4Ih7YwaYd1iqfktj0Uod8GCExl3Og8ifwB6"
        crossorigin="anonymous"></script>
<script src="https://cdn.jsdelivr.net/npm/bs-custom-file-input/dist/bs-custom-file-input.js"></script>
<script src="https://cdn.jsdelivr.net/npm/js-cookie@rc/dist/js.cookie.min.js"></script>

<script>

    /*
    * Check given `backend_addr` is a http backend
    * Usage:
    *   is_http_backend('http://localhost:8080/io').then(function(http_backend){
    *        if(http_backend)
    *               //
    *        else
    *               //
    *   });
    * */
    function is_http_backend(backend_addr) {
        if (!backend_addr.startsWith('http://') && !backend_addr.startsWith('https://'))
            backend_addr = 'http://' + backend_addr;
        return new Promise(function (resolve, reject) {
            $.get(backend_addr, {test: 1}, 'html').done(function (data) {
                resolve(data === 'ok');
            }).fail(function (e) {
                resolve(false);
            });
        });
    }

    $(document).ready(function () {
        // https://www.npmjs.com/package/bs-custom-file-input
        bsCustomFileInput.init()
    });

    function get_ws_addr() {
        if (window.location.hash.length > 0) {
            return window.location.hash.slice(1);
        } else {
            return "ws://" + window.location.host + "/io"
        }
    }

    CodeMirror.modeURL = "https://cdn.bootcss.com/codemirror/2.36.0/%N.js";

    var md_body = $('#markdown-body');

    is_http_backend('http://localhost:8080/io').then(function (http_backend) {
        var session;
        if (http_backend)
            session = new WebIO.HttpWebIOSession('/io');
        else
            session = new WebIO.WebSocketWebIOSession(get_ws_addr());
        var ctrl = new WebIO.WebIOController(session, md_body, $('#input-container'));
        session.start_session();
    });


</script>


</body>
</html>