Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-11 16:35:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #14133 - servo:debug-net-devtools, r=nox

Browse source 
Log debug messages when devtools is not notified about a HTTP request.

<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/14133)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2016-11-09 00:32:02 -06:00 • committed by GitHub
commit 3410242df8
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
components/net/http_loader.rs
View file

@ -835,9 +835,11 @@ pub fn obtain_response<A>(request_factory: &HttpRequestFactory<R=A>,
request_body.clone(), pipeline_id, time::now(), request_body.clone(), pipeline_id, time::now(),
connect_end - connect_start, send_end - send_start, is_xhr)) connect_end - connect_start, send_end - send_start, is_xhr))
} else { } else {
debug!("Not notifying devtools (no pipeline_id)");
None None
} }
} else { } else {
debug!("Not notifying devtools (no request_id)");
None None
}; };