python thread needs to be daemon

jolin-io · Nov 22, 2023 · 7c54a70 · 7c54a70
1 parent 9361b18
commit 7c54a70
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "JolinPluto"
 uuid = "5b0b4ef8-f4e6-4363-b674-3f031f7b9530"
 authors = ["Stephan Sahm <[email protected]> and contributors"]
-version = "0.1.57"
+version = "0.1.58"
 
 [deps]
 AbstractPlutoDingetjes = "6e696c72-6542-2067-7265-42206c756150"

diff --git a/ext/PythonExt.jl b/ext/PythonExt.jl
@@ -20,7 +20,7 @@ function JolinPluto.start_python_thread(func)
     if !JolinPluto.is_running_in_pluto_process()
         # just start a plain thread without cleanup
         stop_event = threading.Event()
-        threading.Thread(target=func, args=(stop_event,)).start()
+        threading.Thread(target=func, daemon=true, args=(stop_event,)).start()
         return stop_event
     end