Skip to content

Commit f94d82e

Browse files
committed
Maybe fix server not exiting on ctrl c
1 parent d099037 commit f94d82e

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

python/src/mlogv32/scripts/terminal_server.py

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -84,6 +84,7 @@ def processor_worker(
8484
time.sleep(0)
8585
finally:
8686
server.shutdown()
87+
shutdown.set()
8788

8889

8990
def input_worker(server: ThreadingTCPServer):
@@ -93,6 +94,7 @@ def input_worker(server: ThreadingTCPServer):
9394
from_input.append(msg.encode())
9495
finally:
9596
server.shutdown()
97+
shutdown.set()
9698

9799

98100
app = Typer()

0 commit comments

Comments
 (0)