remove HTTP

This commit is contained in:
Szymon Parafiński 2022-04-17 22:58:47 +02:00
parent d6f50c859b
commit e9a2d312cf

View File

@ -64,7 +64,6 @@ downloadDocument = readFromDocument [withParseHTML yes,
withEncodingErrors no, withEncodingErrors no,
withPreserveComment yes, withPreserveComment yes,
withStrictInput yes, withStrictInput yes,
-- withHTTP []
withCurl [("curl--user-agent","AMU Digital Libraries Indexing Agent")] withCurl [("curl--user-agent","AMU Digital Libraries Indexing Agent")]
] ]
@ -73,7 +72,6 @@ downloadDocumentWithEncoding enc = readFromDocument [withParseHTML yes,
withEncodingErrors no, withEncodingErrors no,
withPreserveComment yes, withPreserveComment yes,
withInputEncoding enc, withInputEncoding enc,
-- withHTTP []]
withCurl []] withCurl []]
downloadXmlDocument = readFromDocument [withWarnings no, downloadXmlDocument = readFromDocument [withWarnings no,