> How should dummy_thread be modified? Something like > > def interrupt_main(): > raise KeyboardInterrupt I don't think dummy_thread needs to support this API. --Guido van Rossum (home page: http://www.python.org/~guido/)