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 | 6f2a1889efeb953378e23ebf340d609e75f6ec0c (patch) | |
| tree | 3e41731edd78ce33b79cc7970a39e07efc3629a7 | |
| parent | 0409c9f40ff2813c5e9391b3fa06efa2e3d05aa0 (diff) | |
| download | python-coveragepy-6f2a1889efeb953378e23ebf340d609e75f6ec0c.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 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: |