mirror of
https://github.com/servo/servo.git
synced 2025-08-03 04:30:10 +01:00
Log debug messages when devtools is not notified about a HTTP request.
This commit is contained in:
parent
085c52dfbc
commit
783f754d09
1 changed files with 2 additions and 0 deletions
|
@ -835,9 +835,11 @@ pub fn obtain_response<A>(request_factory: &HttpRequestFactory<R=A>,
|
|||
request_body.clone(), pipeline_id, time::now(),
|
||||
connect_end - connect_start, send_end - send_start, is_xhr))
|
||||
} else {
|
||||
debug!("Not notifying devtools (no pipeline_id)");
|
||||
None
|
||||
}
|
||||
} else {
|
||||
debug!("Not notifying devtools (no request_id)");
|
||||
None
|
||||
};
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue