aboutsummaryrefslogtreecommitdiffstats
path: root/components/devtools/lib.rs
diff options
context:
space:
mode:
authorJosh Matthews <josh@joshmatthews.net>2015-08-12 01:07:50 -0400
committerJosh Matthews <josh@joshmatthews.net>2015-08-12 01:07:50 -0400
commit56475676e43a504e50bfa869f599f2bebe4631bf (patch)
treedf70361a9cb43c04971902e992633730b9ec9a58 /components/devtools/lib.rs
parente59de756081f0c5f3f0341cd8ded374537b2a22e (diff)
downloadservo-56475676e43a504e50bfa869f599f2bebe4631bf.tar.gz
servo-56475676e43a504e50bfa869f599f2bebe4631bf.zip
Warning police.
Diffstat (limited to 'components/devtools/lib.rs')
-rw-r--r--components/devtools/lib.rs6
1 files changed, 2 insertions, 4 deletions
diff --git a/components/devtools/lib.rs b/components/devtools/lib.rs
index 69abbbcda41..713022420e2 100644
--- a/components/devtools/lib.rs
+++ b/components/devtools/lib.rs
@@ -193,7 +193,6 @@ fn run_server(sender: Sender<DevtoolsControlMsg>,
fn handle_new_global(actors: Arc<Mutex<ActorRegistry>>,
ids: (PipelineId, Option<WorkerId>),
script_sender: IpcSender<DevtoolScriptControlMsg>,
- devtools_sender: Sender<DevtoolsControlMsg>,
actor_pipelines: &mut HashMap<PipelineId, String>,
actor_workers: &mut HashMap<(PipelineId, WorkerId), String>,
page_info: DevtoolsPageInfo) {
@@ -220,8 +219,7 @@ fn run_server(sender: Sender<DevtoolsControlMsg>,
let timeline = TimelineActor::new(actors.new_name("timeline"),
pipeline,
- script_sender,
- devtools_sender);
+ script_sender);
let DevtoolsPageInfo { title, url } = page_info;
let tab = TabActor {
@@ -411,7 +409,7 @@ fn run_server(sender: Sender<DevtoolsControlMsg>,
handle_framerate_tick(actors.clone(), actor_name, tick),
Ok(DevtoolsControlMsg::FromScript(ScriptToDevtoolsControlMsg::NewGlobal(
ids, script_sender, pageinfo))) =>
- handle_new_global(actors.clone(), ids, script_sender, sender.clone(), &mut actor_pipelines,
+ handle_new_global(actors.clone(), ids, script_sender, &mut actor_pipelines,
&mut actor_workers, pageinfo),
Ok(DevtoolsControlMsg::FromScript(ScriptToDevtoolsControlMsg::ConsoleAPI(
id,