Greetings, I am writing a command line application, and I need to perform some cleaning on exit even if the process is killed. How can I do that with python? Thank you. David.