mirror of
https://github.com/servo/servo.git
synced 2025-06-20 23:28:59 +01:00
auto merge of #977 : kmcallister/servo/redirect, r=jdm
This commit is contained in:
commit
b7d186dec2
6 changed files with 90 additions and 41 deletions
|
@ -702,7 +702,7 @@ impl ScriptTask {
|
|||
page.next_subpage_id.clone(),
|
||||
self.constellation_chan.clone());
|
||||
|
||||
let HtmlParserResult {root, discovery_port} = html_parsing_result;
|
||||
let HtmlParserResult {root, discovery_port, url: final_url} = html_parsing_result;
|
||||
|
||||
let document = HTMLDocument::new(root, Some(window));
|
||||
|
||||
|
@ -711,7 +711,7 @@ impl ScriptTask {
|
|||
document: document,
|
||||
window: window,
|
||||
});
|
||||
page.url = Some((url.clone(), true));
|
||||
page.url = Some((final_url, true));
|
||||
|
||||
// Send style sheets over to layout.
|
||||
//
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue