Terminating elegantly: a guide to graceful shutdowns