From fa14765ddc3a505b70db885bfc07aaea33e9b0d0 Mon Sep 17 00:00:00 2001
From: Samuel Just <samuel.just@dreamhost.com>
Date: Wed, 7 Sep 2011 10:13:36 -0700
Subject: [PATCH] IndexManager: delete index during RemoveOnDelete

Signed-off-by: Samuel Just <samuel.just@dreamhost.com>
---
 src/os/IndexManager.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/os/IndexManager.h b/src/os/IndexManager.h
index 93e3bce59d362..a630eba6a69af 100644
--- 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;
     }
   };
 
-- 
2.39.5