util/random.lua
changeset 6423 0c070e30a7db
parent 6376 bd812a7713ad
child 6424 c3011ab945b8
--- a/util/random.lua	Wed Sep 17 14:50:44 2014 +0200
+++ b/util/random.lua	Thu Sep 18 10:16:59 2014 +0200
@@ -10,7 +10,7 @@
 local os_time = os.time;
 local os_clock = os.clock;
 local ceil = math.ceil;
-local sha1 = require "util.hashes".sha1;
+local H = require "util.hashes".sha512;
 
 local last_uniq_time = 0;
 local function uniq_time()
@@ -21,7 +21,7 @@
 end
 
 local function new_random(x)
-	return sha1(x..os_clock()..tostring({}));
+	return H(x..os_clock()..tostring({}));
 end
 
 local buffer = new_random(uniq_time());