# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1262827561 0
# Node ID fb47ac5ed04c8520d2954094484cb76bb4298a17
# Parent  1067a454a068ded78cbabd428b826ee6a445fd9d
net.dns: Make sure math.randomseed() gets passed an integer

diff -r 1067a454a068 -r fb47ac5ed04c net/dns.lua
--- a/net/dns.lua	Sun Jan 03 11:26:36 2010 -0800
+++ b/net/dns.lua	Thu Jan 07 01:26:01 2010 +0000
@@ -183,7 +183,7 @@
 
 
 function dns.random(...)    -- - - - - - - - - - - - - - - - - - -  dns.random
-	math.randomseed(10000*socket.gettime());
+	math.randomseed(math.floor(10000*socket.gettime()));
 	dns.random = math.random;
 	return dns.random(...);
 end