chiark / gitweb /
rhodes: Clear out debris from stale workers in `check'.