hgext/blackbox.py
changeset 26185 e8f9dffca36f
parent 25660 328739ea70c3
child 28025 ab6468270b83
equal deleted inserted replaced
26184:327d09f0b5d4 26185:e8f9dffca36f
   105                 blackbox = lastblackbox
   105                 blackbox = lastblackbox
   106 
   106 
   107             if blackbox:
   107             if blackbox:
   108                 date = util.datestr(None, '%Y/%m/%d %H:%M:%S')
   108                 date = util.datestr(None, '%Y/%m/%d %H:%M:%S')
   109                 user = util.getuser()
   109                 user = util.getuser()
       
   110                 pid = str(os.getpid())
   110                 formattedmsg = msg[0] % msg[1:]
   111                 formattedmsg = msg[0] % msg[1:]
   111                 try:
   112                 try:
   112                     blackbox.write('%s %s> %s' % (date, user, formattedmsg))
   113                     blackbox.write('%s %s (%s)> %s' %
       
   114                                    (date, user, pid, formattedmsg))
   113                 except IOError as err:
   115                 except IOError as err:
   114                     self.debug('warning: cannot write to blackbox.log: %s\n' %
   116                     self.debug('warning: cannot write to blackbox.log: %s\n' %
   115                                err.strerror)
   117                                err.strerror)
   116                 lastblackbox = blackbox
   118                 lastblackbox = blackbox
   117 
   119