X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=ovsdb%2Fserver.c;h=bf4ef3c9cfd117ac18a51381b972469362c59bca;hb=cb22974d773942d66da42b700b8bca0db27a0920;hp=ac2aa29dfb78f85e9b4fe7028039e2f0da3fcee1;hpb=4749f73d12c844b318af7f45cf45e1acac9f7c08;p=sliver-openvswitch.git

diff --git a/ovsdb/server.c b/ovsdb/server.c
index ac2aa29df..bf4ef3c9c 100644
--- a/ovsdb/server.c
+++ b/ovsdb/server.c
@@ -17,8 +17,6 @@
 
 #include "server.h"
 
-#include <assert.h>
-
 #include "hash.h"
 #include "ovsdb.h"
 
@@ -35,7 +33,7 @@ ovsdb_session_init(struct ovsdb_session *session, struct ovsdb_server *server)
 void
 ovsdb_session_destroy(struct ovsdb_session *session)
 {
-    assert(hmap_is_empty(&session->waiters));
+    ovs_assert(hmap_is_empty(&session->waiters));
     hmap_destroy(&session->waiters);
 }
 
@@ -101,7 +99,7 @@ ovsdb_lock_waiter_remove(struct ovsdb_lock_waiter *waiter)
 void
 ovsdb_lock_waiter_destroy(struct ovsdb_lock_waiter *waiter)
 {
-    assert(!waiter->lock);
+    ovs_assert(!waiter->lock);
     hmap_remove(&waiter->session->waiters, &waiter->session_node);
     free(waiter->lock_name);
     free(waiter);