chiark / gitweb /
cgroup: after killing cgroup processes, ensure the group is really dead gone. wait...