X-Git-Url: http://git.cascardo.eti.br/?a=blobdiff_plain;f=lib%2Fid-pool.c;h=6b93d3742f72cb4e3941f5b9b616eb5f798326d7;hb=ca7e7bee86b4ee821d61b58bf15c89a9d8a3cb30;hp=0f46b7f202f1fe38c441e3485b94aa979172f76a;hpb=27c247496fc15012b3186059639bf6dba1d1f706;p=cascardo%2Fovs.git

diff --git a/lib/id-pool.c b/lib/id-pool.c
index 0f46b7f20..6b93d3742 100644
--- 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);
         }
     }
 }