diff options
| author | Paul Buetow <paul@buetow.org> | 2023-03-12 12:10:11 +0200 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2023-03-12 12:10:11 +0200 |
| commit | 921a1067f48b4c044335601610b6ba704aaa3cf9 (patch) | |
| tree | 192ddcde314ff680158e70e4ed1d0b17e955bb22 /lib/log.source.sh | |
| parent | b66ab729a7e90d67d3b802f9c1a4d2b91b0683c8 (diff) | |
add xmllint support
Diffstat (limited to 'lib/log.source.sh')
| -rw-r--r-- | lib/log.source.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/log.source.sh b/lib/log.source.sh index 2feb119..a93a35d 100644 --- a/lib/log.source.sh +++ b/lib/log.source.sh @@ -28,4 +28,8 @@ log::_pipe () { while read -r line; do echo "$level|$stamp|$pid|$callee|$line" >&2 done + + if [ "$level" = PANIC ]; then + exit 2 + fi } |