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

Remove GlobalRef::get_worker_id

Browse source
This commit is contained in:
Anthony Ramine 2016-10-02 01:19:14 +02:00
parent 522734de22
commit e2dfcb658b
2 changed files with 6 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

7
components/script/dom/console.rs
View file

@ -17,10 +17,15 @@ impl Console {
fn send_to_devtools(global: GlobalRef, level: LogLevel, message: DOMString) {
if let Some(chan) = global.devtools_chan() {
let console_message = prepare_message(level, message);
let worker_id = if let GlobalRef::Worker(worker) = global {
Some(worker.get_worker_id())
} else {
None
};
let devtools_message = ScriptToDevtoolsControlMsg::ConsoleAPI(
global.pipeline_id(),
console_message,
global.get_worker_id());
worker_id);
chan.send(devtools_message).unwrap();
}
}