Index: tools/drmemory/scripts/logging_utils.py |
diff --git a/tools/drmemory/scripts/logging_utils.py b/tools/drmemory/scripts/logging_utils.py |
new file mode 100644 |
index 0000000000000000000000000000000000000000..ef2d674950fd7d34e8679e3f1a2c02156a18f7a4 |
--- /dev/null |
+++ b/tools/drmemory/scripts/logging_utils.py |
@@ -0,0 +1,82 @@ |
+# Copyright (c) 2011 The Chromium Authors. All rights reserved. |
+# Use of this source code is governed by a BSD-style license that can be |
+# found in the LICENSE file. |
+ |
+''' Utility functions and objects for logging. |
+''' |
+ |
+import logging |
+import sys |
+ |
+class StdoutStderrHandler(logging.Handler): |
+ ''' Subclass of logging.Handler which outputs to either stdout or stderr |
+ based on a threshold level. |
+ ''' |
+ |
+ def __init__(self, threshold=logging.WARNING, err=sys.stderr, out=sys.stdout): |
+ ''' Args: |
+ threshold: below this logging level messages are sent to stdout, |
+ otherwise they are sent to stderr |
+ err: a stream object that error messages are sent to, defaults to |
+ sys.stderr |
+ out: a stream object that non-error messages are sent to, defaults to |
+ sys.stdout |
+ ''' |
+ logging.Handler.__init__(self) |
+ self._err = logging.StreamHandler(err) |
+ self._out = logging.StreamHandler(out) |
+ self._threshold = threshold |
+ self._last_was_err = False |
+ |
+ def setLevel(self, lvl): |
+ logging.Handler.setLevel(self, lvl) |
+ self._err.setLevel(lvl) |
+ self._out.setLevel(lvl) |
+ |
+ def setFormatter(self, formatter): |
+ logging.Handler.setFormatter(self, formatter) |
+ self._err.setFormatter(formatter) |
+ self._out.setFormatter(formatter) |
+ |
+ def emit(self, record): |
+ if record.levelno < self._threshold: |
+ self._out.emit(record) |
+ self._last_was_err = False |
+ else: |
+ self._err.emit(record) |
+ self._last_was_err = False |
+ |
+ def flush(self): |
+ # preserve order on the flushing, the stalest stream gets flushed first |
+ if self._last_was_err: |
+ self._out.flush() |
+ self._err.flush() |
+ else: |
+ self._err.flush() |
+ self._out.flush() |
+ |
+ |
+FORMAT = "%(asctime)s %(filename)s [%(levelname)s] %(message)s" |
+DATEFMT = "%H:%M:%S" |
+ |
+def config_root(level=logging.INFO, threshold=logging.WARNING, format=FORMAT, |
+ datefmt=DATEFMT): |
+ ''' Configure the root logger to use a StdoutStderrHandler and some default |
+ formatting. |
+ Args: |
+ level: messages below this level are ignored |
+ threshold: below this logging level messages are sent to stdout, |
+ otherwise they are sent to stderr |
+ format: format for log messages, see logger.Format |
+ datefmt: format for date in log messages |
+ |
+ ''' |
+ # to set the handler of the root logging object, we need to do setup |
+ # manually rather than using basicConfig |
+ root = logging.getLogger() |
+ root.setLevel(level) |
+ formatter = logging.Formatter(format, datefmt) |
+ handler = StdoutStderrHandler(threshold=threshold) |
+ handler.setLevel(level) |
+ handler.setFormatter(formatter) |
+ root.addHandler(handler) |