util/random.lua
changeset 8246 292f61d9d30a
parent 8244 e7496cff1215
parent 8245 177873dc9cf3
child 10018 5d2f7144fa12
--- a/util/random.lua	Sat Sep 16 17:22:51 2017 +0200
+++ b/util/random.lua	Sat Sep 16 17:24:56 2017 +0200
@@ -23,4 +23,5 @@
 
 return {
 	bytes = bytes;
+	_source = "/dev/urandom";
 };