texlive.js
texlive.js copied to clipboard
WebWorkers do not terminate
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
I also believe you launch a WebWorker on page load, which you never end up using.
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!
Was this ever fixed?
not yet.