Merge branch 'main' into fix/gguf-audio

This commit is contained in:
Manan Shah 2026-03-16 04:13:25 -05:00 committed by GitHub
commit 64ad19f3d8
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 10 additions and 3 deletions

View file

@ -144,7 +144,10 @@ def studio_default(
try:
if _shutdown_event is not None:
_shutdown_event.wait()
# NOTE: Event.wait() without a timeout blocks at the C level
# on Linux, preventing Python from delivering SIGINT (Ctrl+C).
while not _shutdown_event.is_set():
_shutdown_event.wait(timeout = 1)
else:
while True:
time.sleep(1)

View file

@ -270,5 +270,9 @@ if __name__ == "__main__":
if hasattr(signal, "SIGBREAK"):
signal.signal(signal.SIGBREAK, _signal_handler)
# Keep running until shutdown signal
_shutdown_event.wait()
# Keep running until shutdown signal.
# NOTE: Event.wait() without a timeout blocks at the C level on Linux,
# which prevents Python from delivering SIGINT (Ctrl+C). Using a
# short timeout in a loop lets the interpreter process pending signals.
while not _shutdown_event.is_set():
_shutdown_event.wait(timeout = 1)