From: bdemsky <bdemsky>
Date: Thu, 14 Dec 2006 18:07:46 +0000 (+0000)
Subject: Change to random call so it will work on linux
X-Git-Tag: preEdgeChange~731
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=5d6fb3a488b8e8000e4794d9d77e3f684b7c05b3;p=IRC.git

Change to random call so it will work on linux
---

diff --git a/Robust/src/Runtime/option.c b/Robust/src/Runtime/option.c
index d1500d63..552f9964 100644
--- a/Robust/src/Runtime/option.c
+++ b/Robust/src/Runtime/option.c
@@ -1,6 +1,7 @@
 #include "option.h"
 #include <stdio.h>
 #include <string.h>
+#include <stdlib.h>
 #include "runtime.h"
 
 extern char *options;
@@ -71,7 +72,7 @@ void processOptions() {
       options=strchr(options,' ');
       if (options!=NULL) options++;
       printf("Initializing random number generator.\n");
-      srandomdev();
+      srandom(time(NULL));
     } else
       break;
   }