diff options
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; |