Guido van Rossum <guido@python.org> writes: [Jack Jansen] >> +1 on the functionality. But: if it's so small why not simply put it in >> sys? > > Hm, that's not bad. It should be called sys.interrupt_main() then. Works for me! http://sourceforge.net/tracker/index.php?func=detail&aid=753733&group_id=5470&atid=305470 __ KBK