graceful exit on server interrupt