chiark / gitweb /
xshutdown: Kill old-style xwait waiters too.