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

Move devtools to std::net (fixes #5355).

Browse source
This commit is contained in:
Ms2ger 2015-03-25 11:18:22 +01:00
parent e77c4e2d76
commit 638ce20e6f
8 changed files with 38 additions and 38 deletions
Download patch file Download diff file Expand all files Collapse all files

2
components/devtools/actors/console.rs
View file

@ -17,7 +17,7 @@ use msg::constellation_msg::PipelineId;
use collections::BTreeMap;
use core::cell::RefCell;
use rustc_serialize::json::{self, Json, ToJson};
use std::old_io::TcpStream;
use std::net::TcpStream;
use std::num::Float;
use std::sync::mpsc::{channel, Sender};

2
components/devtools/actors/inspector.rs
View file

@ -15,8 +15,8 @@ use collections::BTreeMap;
use msg::constellation_msg::PipelineId;
use rustc_serialize::json::{self, Json, ToJson};
use std::cell::RefCell;
use std::old_io::TcpStream;
use std::sync::mpsc::{channel, Sender};
use std::net::TcpStream;
use std::num::Float;
pub struct InspectorActor {

2
components/devtools/actors/root.rs
View file

@ -11,7 +11,7 @@ use actors::tab::{TabActor, TabActorMsg};
use protocol::JsonPacketStream;
use rustc_serialize::json;
use std::old_io::TcpStream;
use std::net::TcpStream;
#[derive(RustcEncodable)]
struct ActorTraits {

4
components/devtools/actors/tab.rs
View file

@ -12,7 +12,7 @@ use devtools_traits::DevtoolScriptControlMsg::WantsLiveNotifications;
use protocol::JsonPacketStream;
use rustc_serialize::json;
use std::old_io::TcpStream;
use std::net::TcpStream;
#[derive(RustcEncodable)]
struct TabTraits;
@ -98,7 +98,7 @@ impl Actor for TabActor {
traits: TabTraits,
};
let console_actor = registry.find::<ConsoleActor>(&self.console);
console_actor.streams.borrow_mut().push(stream.clone());
console_actor.streams.borrow_mut().push(stream.try_clone().unwrap());
stream.write_json_packet(&msg);
console_actor.script_chan.send(
WantsLiveNotifications(console_actor.pipeline, true)).unwrap();