diff options
Diffstat (limited to 'web/worker.mjs')
| -rw-r--r-- | web/worker.mjs | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/web/worker.mjs b/web/worker.mjs index ceceaec..0cb618b 100644 --- a/web/worker.mjs +++ b/web/worker.mjs | |||
| @@ -1,10 +1,7 @@ | |||
| 1 | import Nissy from "./nissy_web_module.mjs" | 1 | import Nissy from "./nissy_web_module.mjs" |
| 2 | 2 | ||
| 3 | const nissy = await Nissy(); | 3 | const nissy = await Nissy(); |
| 4 | function log(message) { | 4 | const log = (msg) => postMessage({ command: "log", id: -1, object: msg }); |
| 5 | postMessage({ command: "log", id: -1, object: message }); | ||
| 6 | console.log(message); | ||
| 7 | } | ||
| 8 | nissy.setLogger(nissy._addCallbackFunction(log)); | 5 | nissy.setLogger(nissy._addCallbackFunction(log)); |
| 9 | 6 | ||
| 10 | const commands = [ | 7 | const commands = [ |
| @@ -32,7 +29,7 @@ onmessage = (event) => { | |||
| 32 | } | 29 | } |
| 33 | } | 30 | } |
| 34 | 31 | ||
| 35 | log("[nissy worker] unknown command " + event.data.command); | 32 | console.log("[nissy worker] unknown command " + event.data.command); |
| 36 | }; | 33 | }; |
| 37 | 34 | ||
| 38 | // Load solver data from storage. | 35 | // Load solver data from storage. |
