chiark / gitweb /
manager: both rescue and emergency should be started in isolate mode