diff options
Diffstat (limited to 'Master/texmf-dist/scripts/latexindent/LatexIndent/Logger.pm')
-rw-r--r-- | Master/texmf-dist/scripts/latexindent/LatexIndent/Logger.pm | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Master/texmf-dist/scripts/latexindent/LatexIndent/Logger.pm b/Master/texmf-dist/scripts/latexindent/LatexIndent/Logger.pm index 02bcd23dd77..35ff428eab6 100644 --- a/Master/texmf-dist/scripts/latexindent/LatexIndent/Logger.pm +++ b/Master/texmf-dist/scripts/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; |