doubled digits in profile filenames

This commit is contained in:
Darren Ranalli 2008-09-17 00:25:58 +00:00
parent 92acaa949a
commit a3b9f73b87
1 changed files with 1 additions and 1 deletions

View File

@ -937,7 +937,7 @@ def startProfile(filename=PyUtilProfileDefaultFilename,
callInfo=1,
cmd='run()'):
# uniquify the filename to allow multiple processes to profile simultaneously
filename = '%s.%s.%s' % (filename, randUint31(), randUint31())
filename = '%s.%s%s' % (filename, randUint31(), randUint31())
if PModules.profile is None:
import profile
PModules.profile = profile