diff options
author | Norbert Preining <norbert@preining.info> | 2021-05-08 03:01:09 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2021-05-08 03:01:09 +0000 |
commit | 0f8acc6eb1940c147de1fb17b307dad849cb3915 (patch) | |
tree | 396fc6150b43761431485f4e19ee22d376b72922 /support/latexindent/LatexIndent/Logger.pm | |
parent | c92d9953347e3bdebc5243c67cf012a2f7a60fb6 (diff) |
CTAN sync 202105080301
Diffstat (limited to 'support/latexindent/LatexIndent/Logger.pm')
-rw-r--r-- | support/latexindent/LatexIndent/Logger.pm | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/support/latexindent/LatexIndent/Logger.pm b/support/latexindent/LatexIndent/Logger.pm index 02bcd23dd7..35ff428eab 100644 --- a/support/latexindent/LatexIndent/Logger.pm +++ b/support/latexindent/LatexIndent/Logger.pm @@ -49,6 +49,20 @@ sub warn{ print $logfileline,"\n" if $switches{screenlog}; } +sub fatal{ + my $self = shift; + my $logfileline = shift; + if ($logfileline =~ m/^\*/s){ + $logfileline =~ s/^\*/FATAL /s; + $logfileline =~ s/^/ /mg; + $logfileline =~ s/^\h+FATAL/FATAL/s; + } else { + $logfileline =~ s/^/ /mg; + } + push(@logFileLines,$logfileline); + print $logfileline,"\n" if $switches{screenlog}; +} + sub trace{ my $self = shift; my $logfileline = shift; |