Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 21:50:18 +01:00
Code Issues Projects Releases Packages Wiki Activity

Create a seperate thread for devtools' TCP acceptor (Closes #5294).

Browse source
This commit is contained in:
Avi Weinstock 2015-03-24 12:30:01 -04:00
parent 8f45268420
commit 5d444fe16d
2 changed files with 34 additions and 36 deletions
Download patch file Download diff file Expand all files Collapse all files

2
components/devtools_traits/lib.rs
View file

@ -23,6 +23,7 @@ use msg::constellation_msg::PipelineId;
use util::str::DOMString;
use url::Url;
use std::old_io::TcpStream;
use std::sync::mpsc::{Sender, Receiver};
pub type DevtoolsControlChan = Sender<DevtoolsControlMsg>;
@ -38,6 +39,7 @@ pub struct DevtoolsPageInfo {
/// Messages to the instruct the devtools server to update its known actors/state
/// according to changes in the browser.
pub enum DevtoolsControlMsg {
AddClient(TcpStream),
NewGlobal(PipelineId, Sender<DevtoolScriptControlMsg>, DevtoolsPageInfo),
SendConsoleMessage(PipelineId, ConsoleMessage),
ServerExitMsg