diff options
author | Josh Matthews <josh@joshmatthews.net> | 2016-06-03 13:39:38 -0400 |
---|---|---|
committer | Josh Matthews <josh@joshmatthews.net> | 2016-06-06 00:51:36 +0100 |
commit | 7bf2e19437ad954bd1d03bb52b86551546ae8ba5 (patch) | |
tree | 96d085e4a406776ce766e10b4c236be831e4cf65 /components/script/script_thread.rs | |
parent | 1f5b0008ac763bbb2209a70afddb6434d18cff9d (diff) | |
download | servo-7bf2e19437ad954bd1d03bb52b86551546ae8ba5.tar.gz servo-7bf2e19437ad954bd1d03bb52b86551546ae8ba5.zip |
Make the net monitor panel in FF's devtools show meaningful output.
0) Advertise support for the network monitor in the initial protocol communication.
1) Only notify the developer tools server about the final request in an HTTP transaction.
2) Add timing information for connecting to the HTTP server and sending the HTTP request.
3) Reduce duplication between various networkEventUpdate structures by creating a helper function
that merges two JSON structures together. This also corrects the JSON structure so the devtools
client interprets the output correctly.
4) Calculate various header size fields correctly.
5) Remove unnecessary usize->u32 casts by making the appropriate fields usize.
6) Add header values to request and response header messages.
7) Support triggering page reloads via the devtools client.
Diffstat (limited to 'components/script/script_thread.rs')
-rw-r--r-- | components/script/script_thread.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/components/script/script_thread.rs b/components/script/script_thread.rs index 35ae783f5ff..22c46840445 100644 --- a/components/script/script_thread.rs +++ b/components/script/script_thread.rs @@ -1021,6 +1021,8 @@ impl ScriptThread { devtools::handle_drop_timeline_markers(&context, marker_types), DevtoolScriptControlMsg::RequestAnimationFrame(pipeline_id, name) => devtools::handle_request_animation_frame(&context, pipeline_id, name), + DevtoolScriptControlMsg::Reload(pipeline_id) => + devtools::handle_reload(&context, pipeline_id), } } |