Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-29 02:00:23 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #10285 - nox:devtools-serde, r=Ms2ger

Browse source 
Use serde in devtools

<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="35" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/10285)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2016-03-31 18:36:13 +05:30
commit 3c00aff546
23 changed files with 245 additions and 233 deletions
Download patch file Download diff file Expand all files Collapse all files

4
components/script/devtools.rs
View file

@ -167,7 +167,7 @@ pub fn handle_get_cached_messages(_pipeline_id: PipelineId,
// TODO: make script error reporter pass all reported errors
// to devtools and cache them for returning here.
let msg = PageError {
_type: "PageError".to_owned(),
type_: "PageError".to_owned(),
errorMessage: "page error test".to_owned(),
sourceName: String::new(),
lineText: String::new(),
@ -186,7 +186,7 @@ pub fn handle_get_cached_messages(_pipeline_id: PipelineId,
if message_types.contains(CONSOLE_API) {
// TODO: do for real
let msg = ConsoleAPI {
_type: "ConsoleAPI".to_owned(),
type_: "ConsoleAPI".to_owned(),
level: "error".to_owned(),
filename: "http://localhost/~mihai/mozilla/test.html".to_owned(),
lineNumber: 0,