msg/async/rdma: free memory when Infiniband obj is freed

device_list is allocated in Infiniband::init.
When Infiniband obj is destructed, free the allocated
space in case of memory leak.

Signed-off-by: Changcheng Liu <changcheng.liu@intel.com>

diff --git a/src/msg/async/rdma/Infiniband.cc b/src/msg/async/rdma/Infiniband.cc
index ddbf5509f28f068bafbde9cfc478519323834158..f14b4865a803875d5edbacb1348fbd43751d14f8 100644 (file)
--- a/src/msg/async/rdma/Infiniband.cc
+++ b/src/msg/async/rdma/Infiniband.cc
@@ -964,6 +964,7 @@ Infiniband::~Infiniband()
     ibv_destroy_srq(srq);
   delete memory_manager;
   delete pd;
+  delete device_list;
 }
 
 /**