From 661751ab4b8d0ec2b65154bf2547b24295e48cfa Mon Sep 17 00:00:00 2001
From: Dustin Laurence <dustin@laurences.net>
Date: Fri, 19 Dec 2014 19:24:59 -0800
Subject: [PATCH] Add finalize_rand()

---
 rand.c | 6 ++++++
 rand.h | 1 +
 2 files changed, 7 insertions(+)

diff --git a/rand.c b/rand.c
index cf5dec110..7c80c13af 100644
--- a/rand.c
+++ b/rand.c
@@ -33,6 +33,12 @@ void init_rand(void)
 	f = fopen("/dev/urandom", "r");
 }
 
+void finalize_rand(void)
+{
+    fclose(f);
+    f = NULL;
+}
+
 uint32_t random32(void)
 {
 	uint32_t r;
diff --git a/rand.h b/rand.h
index fb80ea43b..cd281aa53 100644
--- a/rand.h
+++ b/rand.h
@@ -27,6 +27,7 @@
 #include <stdint.h>
 
 void init_rand(void);
+void finalize_rand(void);
 uint32_t random32(void);
 void random_buffer(uint8_t *buf, size_t len);