chiark / gitweb /
resolved: fix order in which we destroy manager resources