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-09-10 21:51:30 +03:00
2020-08-19 11:06:03 +03:00
2020-09-10 16:01:19 +03:00
2020-09-08 18:43:57 +02:00
2020-09-08 12:29:38 +03:00
2020-08-11 22:06:33 +03:00
2020-08-31 11:02:54 +02:00
2020-08-05 15:40:32 +02:00
2020-09-08 17:40:23 +02:00