mirror of
https://github.com/servo/servo.git
synced 2025-08-06 06:00:15 +01:00
send correct url to devtool on request
Send url that was not modified by the hosts file to the dev tools
This commit is contained in:
parent
06ffdd68e8
commit
17e6007685
1 changed files with 1 additions and 1 deletions
|
@ -632,7 +632,7 @@ pub fn obtain_response<A>(request_factory: &HttpRequestFactory<R=A>,
|
|||
if let Some(pipeline_id) = *pipeline_id {
|
||||
send_request_to_devtools(
|
||||
devtools_chan.clone(), request_id.clone().into(),
|
||||
connection_url.clone(), method.clone(), request_headers.clone(),
|
||||
url.clone(), method.clone(), request_headers.clone(),
|
||||
cloned_data, pipeline_id, time::now()
|
||||
);
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue