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

Remove Optional pipeline_id

Browse source
This commit is contained in:
Warren Fisher 2019-12-19 02:25:43 -04:00
parent f183d66217
commit 5c3bda0251
5 changed files with 14 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -97,7 +97,7 @@ impl Worker {
let worker_load_origin = WorkerScriptLoadOrigin {
referrer_url: None,
referrer_policy: None,
pipeline_id: Some(global.pipeline_id()),
pipeline_id: global.pipeline_id(),
};
let (devtools_sender, devtools_receiver) = ipc::channel().unwrap();