hgdemandimport/tracing.py
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