check that tap device is actually created
[sliver-openvswitch.git] / lib / random.c
index 911ebf3..45d428c 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2008, 2009, 2010, 2011, 2012 Nicira Networks.
+ * Copyright (c) 2008, 2009, 2010, 2011, 2012 Nicira, Inc.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -17,7 +17,6 @@
 #include <config.h>
 #include "random.h"
 
-#include <assert.h>
 #include <errno.h>
 #include <stdlib.h>
 #include <sys/time.h>
@@ -59,7 +58,7 @@ random_init(void)
 void
 random_set_seed(uint32_t seed_)
 {
-    assert(seed_);
+    ovs_assert(seed_);
     seed = seed_;
 }