From 22f84b2d71e4cb2a16db2a517e1c556c2966862e Mon Sep 17 00:00:00 2001
From: tqchen <tianqi.tchen@gmail.com>
Date: Sat, 26 Sep 2015 10:04:25 -0700
Subject: [PATCH] [STORAGE] BUGFIX of memory pool release

---
 src/storage/pooled_storage_manager.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storage/pooled_storage_manager.h b/src/storage/pooled_storage_manager.h
index 380bbabce199..92cbc55951a3 100644
--- a/src/storage/pooled_storage_manager.h
+++ b/src/storage/pooled_storage_manager.h
@@ -72,6 +72,7 @@ void PooledStorageManager<DeviceStorage, kThreshold>::ReleaseAll() {
       used_memory_ -= i.first;
     }
   }
+  memory_pool_.clear();
 }
 
 }  // namespace storage