os._exit(), os.kill(os.getpid(), 9)

[Robert Milkowski]

Ralf Hildebrandt <hildeb at www.stahl.bau.tu-bs.de> wrote:
> On Fri, 21 Jan 2000 14:54:29 +0100, Gerrit Holl <gerrit.holl at pobox.com> wrote:
> 
>>os._exit(127)
> 
> This exits with exit code 127 and doesn't clean up...

how to exit with clean up?

-- 
							Robert Milkowski
							milek at task.gda.pl