index.html 4.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117
  1. <!doctype html>
  2. <head>
  3. <meta charset="UTF-8">
  4. <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
  5. <title>PyWebIO</title>
  6. <link href="css/mditor.min.css" rel="stylesheet">
  7. <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/bootstrap@4.4.1/dist/css/bootstrap.min.css"
  8. integrity="sha384-Vkoo8x4CGsO3+Hhxv8T/Q5PaXtkKtu6ug5TOeNV6gBiFeWPGFN9MuhOf23Q9Ifjh" crossorigin="anonymous">
  9. <link rel="stylesheet" href="css/codemirror.css">
  10. <link rel="stylesheet" href="codemirror/darcula.css">
  11. <link rel="stylesheet" href="codemirror/material-ocean.css">
  12. <link rel="stylesheet" href="css/app.css">
  13. </head>
  14. <body>
  15. <div class="container no-fix-height">
  16. <div tabindex="1" class="mditor preview">
  17. <div class="head">
  18. <ul class="toolbar">
  19. <span id="title">PyWebIO</span>
  20. </ul>
  21. </div>
  22. <div class="body">
  23. <div class="viewer">
  24. <div class="markdown-body" id="markdown-body">
  25. </div>
  26. </div>
  27. </div>
  28. </div>
  29. <div id="input-container">
  30. </div>
  31. </div>
  32. <footer class="footer">
  33. Powered by <a href="https://github.com/wang0618/PyWebIO" target="_blank">PyWebIO</a>
  34. </footer>
  35. <script src="js/mustache.min.js"></script>
  36. <script src="js/codemirror.js"></script>
  37. <script src="codemirror/matchbrackets.js"></script>
  38. <script src="codemirror/python.js"></script>
  39. <script src="codemirror/loadmode.js"></script>
  40. <script src="codemirror/active-line.js"></script>
  41. <script src="js/mditor.min.js"></script>
  42. <script src="js/form.js"></script>
  43. <script src="js/FileSaver.min.js"></script>
  44. <script src="https://cdn.jsdelivr.net/npm/jquery@3.4.1/dist/jquery.min.js"></script>
  45. <script src="https://cdn.jsdelivr.net/npm/popper.js@1.16.0/dist/umd/popper.min.js"
  46. integrity="sha384-Q6E9RHvbIyZFJoft+2mJbHaEWldlvI9IOYy5n3zV9zzTtmI3UksdQRVvoxMfooAo"
  47. crossorigin="anonymous"></script>
  48. <script src="https://cdn.jsdelivr.net/npm/bootstrap@4.4.1/dist/js/bootstrap.min.js"
  49. integrity="sha384-wfSDF2E50Y2D1uUdj0O3uMBJnjuUD4Ih7YwaYd1iqfktj0Uod8GCExl3Og8ifwB6"
  50. crossorigin="anonymous"></script>
  51. <script src="https://cdn.jsdelivr.net/npm/bs-custom-file-input/dist/bs-custom-file-input.js"></script>
  52. <script>
  53. /*
  54. * Check given `backend_addr` is a http backend
  55. * Usage:
  56. * // `http_backend` is a boolean to present whether or not a http_backend the given `backend_addr` is
  57. * is_http_backend('http://localhost:8080/io').then(function(http_backend){ });
  58. * */
  59. function is_http_backend(backend_addr) {
  60. var url = new URL(backend_addr);
  61. var protocol = url.protocol || window.location.protocol;
  62. url.protocol = protocol.replace('wss', 'https').replace('ws', 'http');
  63. backend_addr = url.href;
  64. return new Promise(function (resolve, reject) {
  65. $.get(backend_addr, {test: 1}, 'html').done(function (data) {
  66. resolve(data === 'ok');
  67. }).fail(function (e) {
  68. resolve(false);
  69. });
  70. });
  71. }
  72. $(document).ready(function () {
  73. // https://www.npmjs.com/package/bs-custom-file-input
  74. bsCustomFileInput.init()
  75. });
  76. // 获取后端API地址
  77. function get_backend_addr() {
  78. const url = new URLSearchParams(window.location.search);
  79. var uri = url.get('_pywebio_addr') || './io';
  80. return new URL(uri, window.location.href).href;
  81. }
  82. CodeMirror.modeURL = "https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.52.2/mode/%N/%N.min.js";
  83. var md_body = $('#markdown-body');
  84. const debug = new URLSearchParams(window.location.search).get('_pywebio_debug');
  85. const backend_addr = get_backend_addr();
  86. is_http_backend(backend_addr).then(function (http_backend) {
  87. var session;
  88. if (http_backend)
  89. session = new WebIO.HttpWebIOSession(backend_addr);
  90. else
  91. session = new WebIO.WebSocketWebIOSession(backend_addr);
  92. var ctrl = new WebIO.WebIOController(session, md_body, $('#input-container'));
  93. session.start_session(debug);
  94. });
  95. </script>
  96. </body>
  97. </html>