diff options
author | bors-servo <metajack+bors@gmail.com> | 2015-07-07 09:43:36 -0600 |
---|---|---|
committer | bors-servo <metajack+bors@gmail.com> | 2015-07-07 09:43:36 -0600 |
commit | c04b7bbf6e5efe2e5217b69c9680e4e91bbd6ecd (patch) | |
tree | c7581b9b20b6639e5be2d4c356020feb5e2aa1bf /components/script | |
parent | d64f91863af6c22b3af6d5ea5ebfd671f4e83aaa (diff) | |
parent | 81c0d32a049c61b86b2ae57dde1b3db43c3c83b1 (diff) | |
download | servo-c04b7bbf6e5efe2e5217b69c9680e4e91bbd6ecd.tar.gz servo-c04b7bbf6e5efe2e5217b69c9680e4e91bbd6ecd.zip |
Auto merge of #6540 - jdm:devtoolsfix, r=glennw
Make devtools usable once more.
This fixes the panic by rebasing #6189, and also makes cached messages appear once more.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/6540)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script')
-rw-r--r-- | components/script/devtools.rs | 35 |
1 files changed, 19 insertions, 16 deletions
diff --git a/components/script/devtools.rs b/components/script/devtools.rs index ea79a3850a1..f80dfddaa98 100644 --- a/components/script/devtools.rs +++ b/components/script/devtools.rs @@ -4,6 +4,7 @@ use devtools_traits::{CachedConsoleMessage, CachedConsoleMessageTypes, PAGE_ERROR, CONSOLE_API}; use devtools_traits::{EvaluateJSReply, NodeInfo, Modification, TimelineMarker, TimelineMarkerType}; +use devtools_traits::{ConsoleAPI, PageError}; use dom::bindings::conversions::FromJSValConvertible; use dom::bindings::conversions::StringificationBehavior; use dom::bindings::js::Root; @@ -104,23 +105,10 @@ pub fn handle_get_cached_messages(_pipeline_id: PipelineId, //TODO: check the messageTypes against a global Cache for console messages and page exceptions let mut messages = Vec::new(); if message_types.contains(PAGE_ERROR) { - //TODO: do for real - messages.push(CachedConsoleMessage::ConsoleAPI { - __type__: "consoleAPICall".to_owned(), - level: "error".to_owned(), - filename: "http://localhost/~mihai/mozilla/test.html".to_owned(), - lineNumber: 0, - functionName: String::new(), - timeStamp: 0, - private: false, - arguments: Vec::new(), - }) - } - if message_types.contains(CONSOLE_API) { //TODO: make script error reporter pass all reported errors // to devtools and cache them for returning here. - messages.push(CachedConsoleMessage::PageError { - __type__: "pageError".to_owned(), + let msg = PageError { + _type: "PageError".to_owned(), errorMessage: "page error test".to_owned(), sourceName: String::new(), lineText: String::new(), @@ -133,7 +121,22 @@ pub fn handle_get_cached_messages(_pipeline_id: PipelineId, exception: false, strict: false, private: false, - }) + }; + messages.push(CachedConsoleMessage::PageError(msg)); + } + if message_types.contains(CONSOLE_API) { + //TODO: do for real + let msg = ConsoleAPI { + _type: "ConsoleAPI".to_owned(), + level: "error".to_owned(), + filename: "http://localhost/~mihai/mozilla/test.html".to_owned(), + lineNumber: 0, + functionName: String::new(), + timeStamp: 0, + private: false, + arguments: vec!["console error test".to_owned()], + }; + messages.push(CachedConsoleMessage::ConsoleAPI(msg)); } reply.send(messages).unwrap(); } |