Merge pull request #15 from dllaurence/finalize_rand

Finalize all open file descriptors

rand.c

@@ -33,6 +33,14 @@ void init_rand(void)
 	f = fopen("/dev/urandom", "r");
 }
 
+int finalize_rand(void)
+{
+    int err = fclose(f);
+    f = NULL;
+
+    return err;
+}
+
 uint32_t random32(void)
 {
 	uint32_t r;

rand.h

@@ -27,6 +27,7 @@
 #include <stdint.h>
 
 void init_rand(void);
+int finalize_rand(void);
 uint32_t random32(void);
 void random_buffer(uint8_t *buf, size_t len);