lib/netdev-dpdk: increase ring name length for dpdkr ports

[cascardo/ovs.git] / lib / id-pool.c

diff --git a/lib/id-pool.c b/lib/id-pool.c
index 0f46b7f..6b93d37 100644 (file)
--- a/lib/id-pool.c
+++ b/lib/id-pool.c
@@ -51,8 +51,10 @@ id_pool_create(uint32_t base, uint32_t n_ids)
 void
 id_pool_destroy(struct id_pool *pool)
 {
-    id_pool_uninit(pool);
-    free(pool);
+    if (pool) {
+        id_pool_uninit(pool);
+        free(pool);
+    }
 }
 
 static void
@@ -147,6 +149,7 @@ id_pool_free_id(struct id_pool *pool, uint32_t id)
         id_node = id_pool_find(pool, id);
         if (id_node) {
             hmap_remove(&pool->map, &id_node->node);
+            free(id_node);
         }
     }
 }