Function handle_keyboard_interrupt

ci/util/global_interrupt_handler.py:179–189

Signal the interrupt and (from a worker thread) wake the main thread. On the main thread: re-raises with ``from ki`` so the exception chain is preserved in tracebacks. On a worker thread: sets the global interrupt flag and wakes the main thread.

(ki: KeyboardInterrupt)

def handle_keyboard_interrupt(ki: KeyboardInterrupt) -> None:
    """Signal the interrupt and (from a worker thread) wake the main thread.

    On the main thread: re-raises with ``from ki`` so the exception chain
    is preserved in tracebacks.
    On a worker thread: sets the global interrupt flag and wakes the main thread.
    """
    _print_caller("handle_keyboard_interrupt")
    if threading.current_thread() is threading.main_thread():
        raise KeyboardInterrupt()
    notify_main_thread()


def wait_for_cleanup() -> None: