chiark / gitweb /
shutdown: make use of wait_for_terminate_and_warn()