diff options
Diffstat (limited to 'static/stork_config.js')
| -rw-r--r-- | static/stork_config.js | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/static/stork_config.js b/static/stork_config.js deleted file mode 100644 index 5480a18..0000000 --- a/static/stork_config.js +++ /dev/null @@ -1,14 +0,0 @@ -function loadStork() { - var baseUrl = document.querySelector("meta[name='base']").getAttribute("content"); - if (baseUrl.slice(-1) == "/") { - baseUrl = baseUrl.slice(0, -1); - } - stork.initialize(baseUrl + "/stork.wasm").then(() => { - console.log("Finished downloading WASM"); - }) - .catch(e => { - console.error(e); - }); // download WASM - stork.register("stork",baseUrl + "/stork.st"); -} -loadStork();
\ No newline at end of file |
