# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1452464494 -3600
# Node ID ad9e683b8f0b2926cbf8d74e99007ac07b0de5bd
# Parent  eed0632cd6361740421c4ea922b40c8237e0ded8
util.uuid: Open /dev/urandom read-only, make seed() a noop

diff -r eed0632cd636 -r ad9e683b8f0b util/uuid.lua
--- a/util/uuid.lua	Fri Jan 08 13:01:32 2016 +0000
+++ b/util/uuid.lua	Sun Jan 10 23:21:34 2016 +0100
@@ -8,7 +8,7 @@
 
 local error = error;
 local round_up = math.ceil;
-local urandom, urandom_err = io.open("/dev/urandom", "r+");
+local urandom, urandom_err = io.open("/dev/urandom", "r");
 
 module "uuid"
 
@@ -30,9 +30,7 @@
 	return get_nibbles(8).."-"..get_nibbles(4).."-4"..get_nibbles(3).."-"..(get_twobits())..get_nibbles(3).."-"..get_nibbles(12);
 end
 
-function seed(x)
-	urandom:write(x);
-	urandom:flush();
+function seed()
 end
 
 return _M;