WebWorkers do not terminate

[jvilk]

Thanks for doing this port; it's pretty fun to fool around with.

You don't seem to terminate your WebWorkers, though. They aren't automatically garbage collected; you need to either terminate each from the main thread, or the worker needs to call self.close() to halt execution.

https://developer.mozilla.org/en-US/docs/Web/Guide/Performance/Using_web_workers#Terminating_a_worker

[jvilk]

I also believe you launch a WebWorker on page load, which you never end up using.

[manuels]

thanks, indeed, I must add that! The initial webworker is used for preloading the script. But you are right: it should be terminate'd, too!

[ghost]

Was this ever fixed?

[fzimmermann89]

not yet.