Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Interrupt Web Worker or Python #5

Open
stefnotch opened this issue Jun 20, 2020 · 1 comment
Open

Interrupt Web Worker or Python #5

stefnotch opened this issue Jun 20, 2020 · 1 comment
Labels
upstream Upstream issue

Comments

@stefnotch
Copy link
Owner

stefnotch commented Jun 20, 2020

When a computation takes very long, it should be possible to stop it. I'd prefer to not have to .terminate() the web worker for that.

Relevant issues

@stefnotch stefnotch added the upstream Upstream issue label Jun 23, 2020
@stefnotch
Copy link
Owner Author

Added the pyodide.setInterruptBuffer API. This can be used to set a SharedArrayBuffer to be the keyboard interupt buffer. If Pyodide is running on a webworker, the main thread can signal to the webworker that it should raise a KeyboardInterrupt by writing to the interrupt buffer
-- #17

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
upstream Upstream issue
Projects
None yet
Development

No branches or pull requests

1 participant