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 | |
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')
0 files changed, 0 insertions, 0 deletions