From 4b806673aef75617e5a969f219bb27337c252ca0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matou=C5=A1=20Ku=C4=8Dera?= Date: Sat, 7 Sep 2024 14:54:41 +0200 Subject: [PATCH] fix: Krakatau URL --- dist/worker.js | 2 +- src/worker.ts | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/dist/worker.js b/dist/worker.js index df56a67..6e680d0 100644 --- a/dist/worker.js +++ b/dist/worker.js @@ -336,7 +336,7 @@ function generateUUID() { } const krakScript = `from pyodide.http import pyfetch -response = await pyfetch("./krak.zip") +response = await pyfetch("https://cdn.jsdelivr.net/gh/run-slicer/script-krak@${__SCRIPT_VERSION__}/dist/krak.zip") await response.unpack_archive() from Krakatau.java.visitor import DefaultVisitor diff --git a/src/worker.ts b/src/worker.ts index 7d9739f..80ff888 100644 --- a/src/worker.ts +++ b/src/worker.ts @@ -5,7 +5,7 @@ export interface Worker { } const krakScript = `from pyodide.http import pyfetch -response = await pyfetch("./krak.zip") +response = await pyfetch("https://cdn.jsdelivr.net/gh/run-slicer/script-krak@${__SCRIPT_VERSION__}/dist/krak.zip") await response.unpack_archive() from Krakatau.java.visitor import DefaultVisitor