[Python-Dev] Where to put the interrupt module?

[Skip Montanaro]

    Kurt> It sounds to me like thread.interrupt_main() is the way to go for
    Kurt> now.

How should dummy_thread be modified?  Something like

    def interrupt_main():
        raise KeyboardInterrupt

?

Skip