changeset 42493 | e658ac39fe41 |
parent 42492 | d0b8a3cfd732 |
child 42661 | 978c9a0c5974 |
--- a/hgdemandimport/tracing.py Wed Jun 12 19:01:37 2019 -0400 +++ b/hgdemandimport/tracing.py Wed Jun 12 19:01:49 2019 -0400 @@ -46,3 +46,13 @@ _pipe.write('END %s %s\n' % (_session, whence)) except IOError: pass + +def counter(label, amount, *labelargs): + if not _isactive(): + return + l = label % labelargs + # See above in log() for why this is in a try/except. + try: + _pipe.write('COUNTER %s %d %s\n' % (_session, amount, l)) + except IOError: + pass