# HG changeset patch
# User Bryan O'Sullivan <bos@serpentine.com>
# Date 1201901506 28800
# Node ID 637d4c0898348f3f428be752ed50230d85f73123
# Parent  3f9ce63da18c22180f60c964f5b03ede7919f586
profile: expand PID in output file name

diff -r 3f9ce63da18c -r 637d4c089834 doc/hgrc.5.txt
--- 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.
diff -r 3f9ce63da18c -r 637d4c089834 mercurial/dispatch.py
--- 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