chiark / gitweb /
manager: fix printing of child process names