Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-22 23:03:42 +01:00
Code Issues Projects Releases Packages Wiki Activity

update pipeline url after redirections

Browse source
This commit is contained in:
Paul Rouget 2016-01-06 06:19:47 +01:00
parent ea4206e362
commit 268e285439
7 changed files with 37 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
components/script_traits/script_msg.rs
View file

@ -79,4 +79,6 @@ pub enum ScriptMsg {
ActivateDocument(PipelineId),
/// Set the document state for a pipeline (used by screenshot / reftests)
SetDocumentState(PipelineId, DocumentState),
/// Update the pipeline Url, which can change after redirections.
SetFinalUrl(PipelineId, Url),
}