aboutsummaryrefslogtreecommitdiff
path: root/src/Text/Pandoc/Readers/HTML.hs
diff options
context:
space:
mode:
authorJesse Rosenthal <jrosenthal@jhu.edu>2016-12-14 06:34:28 -0500
committerJohn MacFarlane <jgm@berkeley.edu>2017-01-25 17:07:42 +0100
commit5b3bfa28f4a093a1096f628b84180165bc4cff29 (patch)
tree426a30fcd0071be911be8f27289d2ac684c9d72d /src/Text/Pandoc/Readers/HTML.hs
parent613588a0dcc21c9ebdcea246a6113f0122785eeb (diff)
downloadpandoc-5b3bfa28f4a093a1096f628b84180165bc4cff29.tar.gz
Class: Warn instead or erroring if we can't fetch media
If deferred media can't be fetched, we catch the error and warn instead. We add an internal function for fetching which returns a Maybe value, and then run catMaybes to only keep the Just's.
Diffstat (limited to 'src/Text/Pandoc/Readers/HTML.hs')
0 files changed, 0 insertions, 0 deletions