chiark / gitweb /
make sure file-streams of subprocesses get closed