From b1d403e670f0bcdfc7b85884a443d99c3ef0e58a Mon Sep 17 00:00:00 2001 From: Philipp Rudiger Date: Thu, 12 Sep 2024 18:12:27 +0200 Subject: [PATCH] Small fix for process termination --- nbsite/pyodide/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/nbsite/pyodide/__init__.py b/nbsite/pyodide/__init__.py index 6544d72..201a1c7 100644 --- a/nbsite/pyodide/__init__.py +++ b/nbsite/pyodide/__init__.py @@ -311,7 +311,7 @@ def terminate(cls, *args): """ Terminates a running process. """ - for source in cls._exec_state: + for source in cls._exec_state.copy(): cls._kill(source) @classmethod