hgext/blackbox.py
changeset 26185 e8f9dffca36f
parent 25660 328739ea70c3
child 28025 ab6468270b83
--- a/hgext/blackbox.py	Mon Sep 07 17:08:35 2015 -0700
+++ b/hgext/blackbox.py	Mon Sep 07 11:31:44 2015 -0700
@@ -107,9 +107,11 @@
             if blackbox:
                 date = util.datestr(None, '%Y/%m/%d %H:%M:%S')
                 user = util.getuser()
+                pid = str(os.getpid())
                 formattedmsg = msg[0] % msg[1:]
                 try:
-                    blackbox.write('%s %s> %s' % (date, user, formattedmsg))
+                    blackbox.write('%s %s (%s)> %s' %
+                                   (date, user, pid, formattedmsg))
                 except IOError as err:
                     self.debug('warning: cannot write to blackbox.log: %s\n' %
                                err.strerror)