chiark / gitweb /
manager: use correct cleanup function