diff options
| author | defanor <defanor@uberspace.net> | 2018-02-08 11:09:40 +0300 |
|---|---|---|
| committer | defanor <defanor@uberspace.net> | 2018-02-08 11:09:40 +0300 |
| commit | 99cd9c84abf3c52970981499875b402d5fb68085 (patch) | |
| tree | 109abe4498175aeed7d3e270ed1d6f8074b4af43 /Text/Pandoc/Readers/RDF.hs | |
| parent | 11e83528df0f4e48d9324b2e4dd82dc58792fb16 (diff) | |
Introduce pandoc timeouts
Sometimes pandoc takes unreasonably long time to parse a
document (though it warns about that in the documentation), so a
safeguard is needed.
Diffstat (limited to 'Text/Pandoc/Readers/RDF.hs')
0 files changed, 0 insertions, 0 deletions