[Python-Dev] extremely slow exit for program having huge (45G) dict (python 2.5.2)

[Mike Coleman]

On Sat, Dec 20, 2008 at 2:50 PM, M.-A. Lemburg <mal at 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...