Reto Buerki 9a045eef8e Provide do_on_exit() function
This function allows to register an exit action which executes when the
calling script terminates.
2013-01-17 15:22:11 +01:00
..
2013-01-17 15:22:11 +01:00