And now the server stops appropriately without needing to kill the process.