diff options
author | bors-servo <servo-ops@mozilla.com> | 2020-05-05 16:59:10 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-05 16:59:10 -0400 |
commit | 2471e9dcd0dcc990a349767546124f98b3a8879e (patch) | |
tree | 9f2fa63ca7dea15ff32962eaaf2b117d8295593c /components/script/fetch.rs | |
parent | 6653b89b6406a4adefe3e68b5d9474dcd4696327 (diff) | |
parent | d86a429bd586e31d3a412b23a633da9935cc389a (diff) | |
download | servo-2471e9dcd0dcc990a349767546124f98b3a8879e.tar.gz servo-2471e9dcd0dcc990a349767546124f98b3a8879e.zip |
Auto merge of #25357 - Eijebong:redirects, r=jdm
Fix a few things regarding redirects
See individual commits
Diffstat (limited to 'components/script/fetch.rs')
-rw-r--r-- | components/script/fetch.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/components/script/fetch.rs b/components/script/fetch.rs index 66b5ee3c6ef..fe0792d857f 100644 --- a/components/script/fetch.rs +++ b/components/script/fetch.rs @@ -306,6 +306,7 @@ fn fill_headers_with_metadata(r: DomRoot<Response>, m: Metadata) { r.set_headers(m.headers); r.set_raw_status(m.status); r.set_final_url(m.final_url); + r.set_redirected(m.redirected); } /// Convenience function for synchronously loading a whole resource. |