diff options
| author | Tom Rini <trini@konsulko.com> | 2021-01-23 09:54:02 -0500 |
|---|---|---|
| committer | Tom Rini <trini@konsulko.com> | 2021-01-23 09:54:02 -0500 |
| commit | b577bc1c5fac9b15a075459a9841ef9ede1f1b80 (patch) | |
| tree | 268141911a4f294d7a35b203b08cd56a4fbc1304 /doc/sphinx/kernellog.py | |
| parent | abd95385e7dfcb633abc9073740caa9f014e8fc7 (diff) | |
| parent | 12316967ad5355798a85739a27afbdde35e3c042 (diff) | |
Merge branch '2021-01-22-doc-updates'
- Assorted documentation updates
Diffstat (limited to 'doc/sphinx/kernellog.py')
| -rw-r--r-- | doc/sphinx/kernellog.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/sphinx/kernellog.py b/doc/sphinx/kernellog.py index af924f51a7..8ac7d274f5 100644 --- a/doc/sphinx/kernellog.py +++ b/doc/sphinx/kernellog.py @@ -25,4 +25,8 @@ def verbose(app, message): else: app.verbose(message) - +def info(app, message): + if UseLogging: + logger.info(message) + else: + app.info(message) |