A better way to get good random numbers

nedbat · Dec 27, 2016 · 5b66bcb · 5b66bcb
1 parent 7bb4266
commit 5b66bcb
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/coverage/data.py b/coverage/data.py
@@ -12,7 +12,6 @@
 import random
 import re
 import socket
-import time
 
 from coverage import env
 from coverage.backward import iitems, string_class
@@ -666,9 +665,7 @@ def write(self, data, suffix=None):
                 with open(_TEST_NAME_FILE) as f:
                     test_name = f.read()
                 extra = "." + test_name
-            if env.WINDOWS:
-                time.sleep(0.001)           # Yuk: http://bugs.python.org/issue29085
-            dice = random.Random().randint(0, 999999)
+            dice = random.Random(os.urandom(8)).randint(0, 999999)
             suffix = "%s%s.%s.%06d" % (socket.gethostname(), extra, os.getpid(), dice)
 
         if suffix: