diff options
author | Chris Johns <chrisj@rtems.org> | 2017-10-12 06:09:52 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2017-10-12 06:09:52 +1100 |
commit | 7c032b0939c5b1e53e6de64120d90e86ca69c2b1 (patch) | |
tree | 5b310182d05464edaf195cb73e349ec92ad7d689 /rtemstoolkit | |
parent | 7f1167002cb16dd79489dd09869895ee7d7ef634 (diff) |
rtemstoolkit: Add a capture hook to logging.
Diffstat (limited to 'rtemstoolkit')
-rwxr-xr-x | rtemstoolkit/log.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/rtemstoolkit/log.py b/rtemstoolkit/log.py index c442525..3eb2c1b 100755 --- a/rtemstoolkit/log.py +++ b/rtemstoolkit/log.py @@ -53,6 +53,11 @@ except (ValueError, SystemError): default = None # +# A global capture handler. +# +capture = None + +# # Global parameters. # tracing = False @@ -82,6 +87,10 @@ def _output(text = os.linesep, log = None): for l in text.replace(chr(13), '').splitlines(): print(l) lock.release() + if capture is not None: + lock.acquire() + capture(text) + lock.release() def stderr(text = os.linesep, log = None): lock.acquire() |