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)