chiark / gitweb /
shutdown: properly handle sigtimedwait() timing out