rinpatch f70335002d RichMedia: Do a HEAD request to check content type/length
This shouldn't be too expensive, since the connections are pooled,
but it should save us some bandwidth since we won't fetch non-html
files and files that are too large for us to process (especially
since you can't cancel a request without closing the connection
with HTTP1).
2020-09-14 14:45:58 +03:00
..
2020-05-13 00:25:21 +04:00
2020-09-07 19:59:17 +03:00
2020-08-19 12:57:29 +03:00
2020-09-08 18:43:57 +02:00
2020-07-15 15:26:35 +03:00
2020-07-15 12:32:42 +02:00
2020-09-08 12:29:38 +03:00
2020-08-03 20:13:43 +02:00
2020-05-12 17:14:59 -05:00
2020-08-02 17:45:15 -05:00