close the /dev/urandom file descriptor at exit

hannesm · Dec 6, 2024 · 0917c36 · 0917c36
1 parent 3abb84a
commit 0917c36
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/rng/unix/urandom.ml b/rng/unix/urandom.ml
@@ -7,6 +7,7 @@ let create ?time:_ () =
   let ic = In_channel.open_bin "/dev/urandom"
   and mutex = Mutex.create ()
   in
+  at_exit (fun () -> In_channel.close ic);
   (ic, mutex)
 
 let generate_into ~g:(ic, m) buf ~off len =