index.html 4.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111
  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 rel="icon" type="image/png" sizes="32x32" href="image/favicon_open_32.png" id="favicon32">
  7. <link rel="icon" type="image/png" sizes="16x16" href="image/favicon_open_16.png" id="favicon16">
  8. <link rel="stylesheet" href="css/mditor.min.css">
  9. <link rel="stylesheet" href="css/bootstrap.min.css">
  10. <link rel="stylesheet" href="css/codemirror.css">
  11. <link rel="stylesheet" href="codemirror/darcula.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> <!--template system-->
  36. <script src="js/codemirror.js"></script> <!--code textarea editor-->
  37. <script src="codemirror/matchbrackets.js"></script> <!--codemirror plugin-->
  38. <script src="codemirror/python.js"></script> <!--codemirror python language support-->
  39. <script src="codemirror/loadmode.js"></script> <!--codemirror plugin: auto load mode-->
  40. <script src="codemirror/active-line.js"></script> <!--codemirror plugin: auto load mode-->
  41. <script src="js/mditor.min.js"></script> <!-- markdown support-->
  42. <script src="js/FileSaver.min.js"></script> <!-- saving files on the client-side -->
  43. <script src="js/jquery.min.js"></script>
  44. <script src="js/popper.min.js"></script> <!-- tooltip engine -->
  45. <script src="js/bootstrap.min.js"></script>
  46. <script src="js/bs-custom-file-input.min.js"></script> <!-- bootstrap custom file input-->
  47. <script src="js/pywebio.js"></script>
  48. <script>
  49. /*
  50. * Check given `backend_addr` is a http backend
  51. * Usage:
  52. * // `http_backend` is a boolean to present whether or not a http_backend the given `backend_addr` is
  53. * is_http_backend('http://localhost:8080/io').then(function(http_backend){ });
  54. * */
  55. function is_http_backend(backend_addr) {
  56. var url = new URL(backend_addr);
  57. var protocol = url.protocol || window.location.protocol;
  58. url.protocol = protocol.replace('wss', 'https').replace('ws', 'http');
  59. backend_addr = url.href;
  60. return new Promise(function (resolve, reject) {
  61. $.get(backend_addr, {test: 1}, 'html').done(function (data) {
  62. resolve(data === 'ok');
  63. }).fail(function (e) {
  64. resolve(false);
  65. });
  66. });
  67. }
  68. $(document).ready(function () {
  69. // https://www.npmjs.com/package/bs-custom-file-input
  70. bsCustomFileInput.init()
  71. });
  72. // 获取后端API地址
  73. function get_backend_addr() {
  74. const url = new URLSearchParams(window.location.search);
  75. var uri = url.get('pywebio_api') || './io';
  76. return new URL(uri, window.location.href).href;
  77. }
  78. CodeMirror.modeURL = "https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.52.2/mode/%N/%N.min.js";
  79. var md_body = $('#markdown-body');
  80. const debug = new URLSearchParams(window.location.search).get('_pywebio_debug');
  81. const backend_addr = get_backend_addr();
  82. is_http_backend(backend_addr).then(function (http_backend) {
  83. var session;
  84. if (http_backend)
  85. session = new WebIO.HttpWebIOSession(backend_addr);
  86. else
  87. session = new WebIO.WebSocketWebIOSession(backend_addr);
  88. var ctrl = new WebIO.WebIOController(session, md_body, $('#input-container'));
  89. session.start_session(debug);
  90. });
  91. </script>
  92. </body>
  93. </html>