xref: /sqlite-3.40.0/ext/wasm/batch-runner.html (revision 2cae138f)
1<!doctype html>
2<html lang="en-us">
3  <head>
4    <meta charset="utf-8">
5    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
6    <link rel="shortcut icon" href="data:image/x-icon;," type="image/x-icon">
7    <link rel="stylesheet" href="common/emscripten.css"/>
8    <link rel="stylesheet" href="common/testing.css"/>
9    <title>sqlite3-api batch SQL runner</title>
10  </head>
11  <body>
12    <header id='titlebar'><span>sqlite3-api batch SQL runner</span></header>
13    <!-- emscripten bits -->
14    <figure id="module-spinner">
15      <div class="spinner"></div>
16      <div class='center'><strong>Initializing app...</strong></div>
17      <div class='center'>
18        On a slow internet connection this may take a moment.  If this
19        message displays for "a long time", intialization may have
20        failed and the JavaScript console may contain clues as to why.
21      </div>
22    </figure>
23    <div class="emscripten" id="module-status">Downloading...</div>
24    <div class="emscripten">
25      <progress value="0" max="100" id="module-progress" hidden='1'></progress>
26    </div><!-- /emscripten bits -->
27    <p class='warning'>ACHTUNG: this file requires a generated input list
28      file. Run "make batch" from this directory to generate it.
29    </p>
30    <p class='warning'>WARNING: if the WASMFS/OPFS layer crashes, this page may
31      become completely unresponsive and need to be closed and
32      reloaded to recover.
33    </p>
34    <hr>
35    <div>
36      <select id='sql-select'>
37        <option disabled selected>Populated via script code</option>
38      </select>
39      <button id='sql-run'>Run selected SQL</button>
40      <button id='output-clear'>Clear output</button>
41    </div>
42    <hr>
43    <div id='test-output'></div>
44
45    <script src="sqlite3.js"></script>
46    <script src="common/SqliteTestUtil.js"></script>
47    <script src="batch-runner.js"></script>
48    <style>
49      .warning { color: firebrick; }
50      #test-output {
51          border: 1px inset;
52          padding: 0.25em;
53          max-height: 20em;
54          overflow: auto;
55          white-space: break-spaces;
56      }
57    </style>
58  </body>
59</html>
60