X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Flib%2Frandom.c;h=6a963e21b42ccce71551e66e8dad806edd542d9a;hp=a4761b6b52c14d3202a783d1e7eb1ab64baba767;hb=HEAD;hpb=919347c164606c3f1544b2e8bd62f505aeda80a1

diff --git a/src/lib/random.c b/src/lib/random.c
index a4761b6..6a963e2 100644
--- a/src/lib/random.c
+++ b/src/lib/random.c
@@ -37,6 +37,9 @@ random_init (unsigned seed)
   int i;
   uint8_t j;
 
+  if (inited)
+    return;
+
   for (i = 0; i < 256; i++) 
     s[i] = i;
   for (i = j = 0; i < 256; i++)