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 | 7a72b3788ad02d530420c26130cffcd81b9673f2 (patch) | |
| tree | f696ea8895e742b885d6a6247f0d26dd55583b1d /coverage/data.py | |
| parent | a3a3f227d2d5fe96a3667ca51bad9c9c9a2142a1 (diff) | |
| download | python-coveragepy-git-7a72b3788ad02d530420c26130cffcd81b9673f2.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 78590fea..98b9c8a6 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 |