From 6f2a1889efeb953378e23ebf340d609e75f6ec0c Mon Sep 17 00:00:00 2001 From: Ned Batchelder Date: Tue, 27 Dec 2016 14:02:33 -0500 Subject: A better way to get good random numbers --- coverage/data.py | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/coverage/data.py b/coverage/data.py index f7469ed..67b74d0 100644 --- a/coverage/data.py +++ b/coverage/data.py @@ -12,7 +12,6 @@ import os.path import random import re import socket -import time from coverage import env from coverage.backward import iitems, string_class @@ -666,9 +665,7 @@ class CoverageDataFiles(object): 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: -- cgit v1.2.1