@@ -85,6 +85,7 @@ data LogMessage =
8585 | CouldNotParseCSS Text
8686 | Fetching Text
8787 | Extracting Text
88+ | LoadedResource FilePath FilePath
8889 | NoTitleElement Text
8990 | NoLangSpecified
9091 | InvalidLang Text
@@ -195,6 +196,9 @@ instance ToJSON LogMessage where
195196 ["path" .= fp]
196197 Extracting fp ->
197198 ["path" .= fp]
199+ LoadedResource orig found ->
200+ ["for" .= orig
201+ ,"from" .= found]
198202 NoTitleElement fallback ->
199203 ["fallback" .= fallback]
200204 NoLangSpecified -> []
@@ -309,6 +313,8 @@ showLogMessage msg =
309313 "Fetching " <> fp <> "..."
310314 Extracting fp ->
311315 "Extracting " <> fp <> "..."
316+ LoadedResource orig found ->
317+ "Loaded " <> Text.pack orig <> " from " <> Text.pack found
312318 NoTitleElement fallback ->
313319 "This document format requires a nonempty <title> element.\n" <>
314320 "Defaulting to '" <> fallback <> "' as the title.\n" <>
@@ -389,6 +395,7 @@ messageVerbosity msg =
389395 CouldNotParseCSS{} -> WARNING
390396 Fetching{} -> INFO
391397 Extracting{} -> INFO
398+ LoadedResource{} -> INFO
392399 NoTitleElement{} -> WARNING
393400 NoLangSpecified -> INFO
394401 InvalidLang{} -> WARNING