20 Dec
2008
20 Dec
'08
10:06 p.m.
On Sat, Dec 20, 2008 at 2:50 PM, M.-A. Lemburg
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...