WASM REPL: reset the python worker after a program exits so that we can run again.

adqm · adqm · commit bd52abe15727 · 2025-07-02T17:29:40.000-04:00
diff --git a/Tools/wasm/emscripten/web_example/python.html b/Tools/wasm/emscripten/web_example/python.html
@@ -535,6 +535,7 @@
 
                 const finishedCallback = () => {
                     programRunning(false);
+                    pythonWorkerManager.reset();
                 };
 
                 const pythonWorkerManager = new WorkerManager(
