IndexManager: delete index during RemoveOnDelete

Signed-off-by: Samuel Just <samuel.just@dreamhost.com>

diff --git a/src/os/IndexManager.h b/src/os/IndexManager.h
index 93e3bce59d362a29211bcc1bae53eec007d1f03d..a630eba6a69af7685ce5362f521c001b012984f9 100644 (file)
--- a/src/os/IndexManager.h
+++ b/src/os/IndexManager.h
@@ -66,6 +66,7 @@ class IndexManager {
 
     void operator()(CollectionIndex *index) {
       manager->put_index(c);
+      delete index;
     }
   };