chiark / gitweb /
manager: fix a crash in isolating