Mercurial > hg-stable
changeset 5997:637d4c089834
profile: expand PID in output file name
author | Bryan O'Sullivan <bos@serpentine.com> |
---|---|
date | Fri, 01 Feb 2008 13:31:46 -0800 |
parents | 3f9ce63da18c |
children | 5d91f6e6f841 |
files | doc/hgrc.5.txt mercurial/dispatch.py |
diffstat | 2 files changed, 6 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- a/doc/hgrc.5.txt Fri Feb 01 13:11:03 2008 -0800 +++ b/doc/hgrc.5.txt Fri Feb 01 13:31:46 2008 -0800 @@ -412,7 +412,10 @@ "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.
--- a/mercurial/dispatch.py Fri Feb 01 13:11:03 2008 -0800 +++ b/mercurial/dispatch.py Fri Feb 01 13:31:46 2008 -0800 @@ -379,7 +379,8 @@ 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