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-12 17:14:59 -05:00
2020-05-07 09:13:32 +00:00
2020-08-05 17:46:14 +03:00
2020-03-03 16:44:49 -06:00
2020-06-23 15:09:01 +03:00
2020-03-03 16:44:49 -06:00
2020-03-03 16:46:45 -06:00