# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1411028219 -7200
# Node ID 0c070e30a7db2045606c086fc913517f8ba81a0e
# Parent  060b63a27e9b27bbc6bb37cf9f418706218956c1
util.random: Switch to SHA512

diff -r 060b63a27e9b -r 0c070e30a7db util/random.lua
--- 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());