facebook/sapling
1
1
Fork 0
mirror of https://github.com/facebook/sapling.git synced 2024-10-08 07:49:11 +03:00
Code Issues Projects Releases Wiki Activity

profile: expand PID in output file name

Browse Source
This commit is contained in:
Bryan O'Sullivan 2008-02-01 13:31:46 -08:00
parent f2207bd308
commit b945cf7339
2 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
doc/hgrc.5.txt
View File

@ -412,7 +412,10 @@ profile::
"hotshot" is deprecated, and produces less reliable results.
Default is no profiling.
output;;
The name of a file to write profiling data to. Default is stderr.
The name of a file to write profiling data to. Each occurrence of
"%%p" will be replaced with the current process ID (the repeated
"%" protects against the config parser's string interpolator).
Default output is to stderr.
server::
Controls generic server settings.

3
mercurial/dispatch.py
View File

@ -379,7 +379,8 @@ def profiled(ui, func, options={}):
def profile_fp():
outfile = ui.config('profile', 'output', untrusted=True)
if outfile:
return open(outfile, 'w')
pid = str(os.getpid())
return open(outfile.replace('%p', pid), 'w')
else:
return sys.stderr