diff options
author | John MacFarlane <jgm@berkeley.edu> | 2020-02-04 09:38:53 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2020-02-04 09:38:53 -0800 |
commit | fd9c03febe92411bfdfc63e8f19a037cf04f3a0e (patch) | |
tree | 46155e2e1abb5e734f5738f2464c43e9e4b1581a /src/Text/Pandoc/Logging.hs | |
parent | 30962e2e9da335a436fce0fe6ba417adbebdeee0 (diff) | |
download | pandoc-fd9c03febe92411bfdfc63e8f19a037cf04f3a0e.tar.gz |
Add timing info for filters in `--verbose` mode.
+ Add RunningFilter, FilterCompleted constructors to LogMessage
+ When verbose mode is specified (verbosity == INFO), print a
notice when running a filter and when a filter completes (including
timing).
Closes #6112.
Diffstat (limited to 'src/Text/Pandoc/Logging.hs')
-rw-r--r-- | src/Text/Pandoc/Logging.hs | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/src/Text/Pandoc/Logging.hs b/src/Text/Pandoc/Logging.hs index f13139fa2..761060f8e 100644 --- a/src/Text/Pandoc/Logging.hs +++ b/src/Text/Pandoc/Logging.hs @@ -98,6 +98,8 @@ data LogMessage = | UnexpectedXmlElement Text.Text Text.Text | UnknownOrgExportOption Text.Text | CouldNotDeduceFormat [Text.Text] Text.Text + | RunningFilter FilePath + | FilterCompleted FilePath Integer deriving (Show, Eq, Data, Ord, Typeable, Generic) instance ToJSON LogMessage where @@ -222,7 +224,11 @@ instance ToJSON LogMessage where CouldNotDeduceFormat exts format -> ["extensions" .= exts ,"format" .= format] - + RunningFilter fp -> + ["path" .= Text.pack fp ] + FilterCompleted fp ms -> + ["path" .= Text.pack fp + ,"milliseconds" .= Text.pack (show ms) ] showPos :: SourcePos -> Text.Text showPos pos = Text.pack $ sn ++ "line " ++ @@ -331,6 +337,9 @@ showLogMessage msg = "Could not deduce format from file extension " <> Text.intercalate " or " exts <> "\n" <> "Defaulting to " <> format + RunningFilter fp -> "Running filter " <> Text.pack fp + FilterCompleted fp ms -> "Completed filter " <> Text.pack fp <> + " in " <> Text.pack (show ms) <> " ms" messageVerbosity :: LogMessage -> Verbosity messageVerbosity msg = @@ -374,3 +383,5 @@ messageVerbosity msg = UnexpectedXmlElement {} -> WARNING UnknownOrgExportOption {} -> WARNING CouldNotDeduceFormat{} -> WARNING + RunningFilter{} -> INFO + FilterCompleted{} -> INFO |