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

Undo changes done to change worker_id type to string

Browse source
This commit is contained in:
Kunal Mohan 2019-12-10 13:09:45 +05:30
parent d5475fbc9f
commit d60f7d87c8
No known key found for this signature in database
GPG key ID: 2B475A4524237BAC
2 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
components/devtools/lib.rs
View file

@ -307,7 +307,7 @@ fn run_server(
let worker = WorkerActor {
name: actors.new_name("worker"),
console: console.name(),
id: id.clone(),
id: id,
};
actor_workers.insert((pipeline, id), worker.name.clone());
actors.register(Box::new(worker));

3
components/script/serviceworker_manager.rs
View file

@ -98,9 +98,8 @@ impl ServiceWorkerManager {
title: title,
url: scope_things.script_url.clone(),
};
let worker_id = scope_things.worker_id.clone();
let _ = chan.send(ScriptToDevtoolsControlMsg::NewGlobal(
(scope_things.init.pipeline_id, Some(worker_id)),
(scope_things.init.pipeline_id, Some(scope_things.worker_id)),
devtools_sender,
page_info,
));