On Sat, Dec 20, 2008 at 2:50 PM, M.-A. Lemburg <m...@egenix.com> wrote: > If you want a really fast exit, try this: > > import os > os.kill(os.getpid(), 9) > > But you better know what you're doing if you take this approach...
This would work, but I think os._exit(EX_OK) is probably just as fast, and allows you to control the exit status... _______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
