diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2016-09-22 09:55:35 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2016-09-22 09:55:35 -0400 |
| commit | 9f66527e3d31c9498100f5ccbbc725eb7e995ccc (patch) | |
| tree | b224ca3af80bfbbc44f32786830ffff661e06859 /coverage/data.py | |
| parent | 7c7bd1781b6c04f7e0ac1fe63a2da57b95974234 (diff) | |
| download | python-coveragepy-9f66527e3d31c9498100f5ccbbc725eb7e995ccc.tar.gz | |
Ensure random suffixes are different after forking
Diffstat (limited to 'coverage/data.py')
| -rw-r--r-- | coverage/data.py | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/coverage/data.py b/coverage/data.py index 78590fe..98b9c8a 100644 --- a/coverage/data.py +++ b/coverage/data.py @@ -657,10 +657,8 @@ class CoverageDataFiles(object): with open(_TEST_NAME_FILE) as f: test_name = f.read() extra = "." + test_name - suffix = "%s%s.%s.%06d" % ( - socket.gethostname(), extra, os.getpid(), - random.randint(0, 999999) - ) + dice = random.Random().randint(0, 999999) + suffix = "%s%s.%s.%06d" % (socket.gethostname(), extra, os.getpid(), dice) if suffix: filename += "." + suffix |