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

Improved field names for devtools-related channels; r=Ms2ger

Browse source
This commit is contained in:
Ravi Shankar 2015-08-20 19:38:23 +05:30
parent 6a52ec9484
commit 46195f29df
3 changed files with 24 additions and 24 deletions
Download patch file Download diff file Expand all files Collapse all files

4
components/script/dom/worker.rs
View file

@ -104,8 +104,8 @@ impl Worker {
let init = WorkerGlobalScopeInit {
resource_task: resource_task,
mem_profiler_chan: global.mem_profiler_chan(),
devtools_chan: global.devtools_chan(),
devtools_sender: optional_sender,
to_devtools_sender: global.devtools_chan(),
from_devtools_sender: optional_sender,
constellation_chan: constellation_chan,
worker_id: worker_id,
};