Spaces:
Running
Running
MilesCranmer
commited on
Commit
•
0f7799e
1
Parent(s):
e4dfed6
fix(gui): kill processes not terminate
Browse files- gui/processing.py +4 -3
gui/processing.py
CHANGED
@@ -220,13 +220,14 @@ def processing(
|
|
220 |
|
221 |
if cur_process != ACTIVE_PROCESS:
|
222 |
# Kill both reader and writer
|
223 |
-
writer.process.
|
224 |
-
reader.process.
|
|
|
225 |
return
|
226 |
|
227 |
time.sleep(0.1)
|
228 |
|
229 |
-
yield (*last_yield[:-1], "Done")
|
230 |
return
|
231 |
|
232 |
|
|
|
220 |
|
221 |
if cur_process != ACTIVE_PROCESS:
|
222 |
# Kill both reader and writer
|
223 |
+
writer.process.kill()
|
224 |
+
reader.process.kill()
|
225 |
+
yield (*last_yield[:-1], "Stopped.")
|
226 |
return
|
227 |
|
228 |
time.sleep(0.1)
|
229 |
|
230 |
+
yield (*last_yield[:-1], "Done.")
|
231 |
return
|
232 |
|
233 |
|