Speeding up Python's exit

[Antoine Pitrou]

Dave Angel <davea <at> davea.name> writes:
> 
> Note he didn't say the python buffers would be flushed.  It's the OS 
> buffers that are flushed.

Now please read my message again. The OS buffers are *not* flushed according
to POSIX.