debugging output for shutdown