diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2016-12-27 14:02:33 -0500 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2016-12-27 14:02:33 -0500 |
| commit | 5b66bcb51355b338b69e0f3104aebe1a187e086e (patch) | |
| tree | 8452fa2e6a1397204ac38e457fd39514f0c8d7b9 | |
| parent | 7bb4266b536d456b7bef8db5fd00f7d677f97806 (diff) | |
| download | python-coveragepy-git-5b66bcb51355b338b69e0f3104aebe1a187e086e.tar.gz | |
A better way to get good random numberscoverage-4.3
| -rw-r--r-- | coverage/data.py | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/coverage/data.py b/coverage/data.py index f7469ed0..67b74d07 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: |