delete(); // register_shutdown_function() is called on exit(), // so commands mutexes are removed. exit(); } }