util/random.lua
branch0.12
changeset 12450 e54b8a5e35ad
parent 10020 af8c514e5cf7
child 12979 d10957394a3c
--- a/util/random.lua	Mon Mar 28 14:53:24 2022 +0100
+++ b/util/random.lua	Sat Apr 02 16:33:27 2022 +0200
@@ -7,7 +7,7 @@
 --
 
 local ok, crand = pcall(require, "util.crand");
-if ok then return crand; end
+if ok and pcall(crand.bytes, 1) then return crand; end
 
 local urandom, urandom_err = io.open("/dev/urandom", "r");