mirror of
https://github.com/servo/servo.git
synced 2025-08-03 04:30:10 +01:00
Auto merge of #9164 - paulrouget:updatePipelineURL, r=jdm
update pipeline url after redirections `pipeline.url` is not updated after a redirection. Fixes #8902 <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9164) <!-- Reviewable:end -->
This commit is contained in:
commit
f4a2fe9501
7 changed files with 37 additions and 0 deletions
|
@ -1648,6 +1648,10 @@ impl ScriptTask {
|
|||
// send the final url to the layout task.
|
||||
let LayoutChan(ref chan) = incomplete.layout_chan;
|
||||
chan.send(layout_interface::Msg::SetFinalUrl(final_url.clone())).unwrap();
|
||||
|
||||
// update the pipeline url
|
||||
let ConstellationChan(ref chan) = self.constellation_chan;
|
||||
chan.send(ConstellationMsg::SetFinalUrl(incomplete.pipeline_id, final_url.clone())).unwrap();
|
||||
}
|
||||
debug!("ScriptTask: loading {} on page {:?}", incomplete.url.serialize(), incomplete.pipeline_id);
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue