changeset 8244 | e7496cff1215 |
parent 7190 | 3d2c2f0809ee |
child 8246 | 292f61d9d30a |
--- a/util/random.lua Sat Sep 16 10:16:08 2017 +0100 +++ b/util/random.lua Sat Sep 16 17:22:51 2017 +0200 @@ -11,9 +11,6 @@ local urandom, urandom_err = io.open("/dev/urandom", "r"); -local function seed() -end - local function bytes(n) return urandom:read(n); end @@ -25,6 +22,5 @@ end return { - seed = seed; bytes = bytes; };