diff options
author | Aneesh Agrawal <aneeshusa@gmail.com> | 2016-06-09 07:01:24 -0400 |
---|---|---|
committer | Aneesh Agrawal <aneeshusa@gmail.com> | 2016-09-13 15:17:40 -0400 |
commit | 9d097e7d1570d68e5fe77ff01595cf14a3e2cc29 (patch) | |
tree | 32e6f49e53774b2fdfb4dec38223d48f9b12a7f9 /components/script/dom/worker.rs | |
parent | bb53da69578887befae195b18255967cc7f3fc59 (diff) | |
download | servo-9d097e7d1570d68e5fe77ff01595cf14a3e2cc29.tar.gz servo-9d097e7d1570d68e5fe77ff01595cf14a3e2cc29.zip |
Use fn pipeline_id consistently, not fn pipeline
Consistently use the name 'pipeline_id' to refer to a function that
returns an (optional) PipelineId.
This was prompted by discovering both fn pipeline and fn pipeline_id
doing the same job in htmliframeelement.rs.
Note that there is fn pipeline in components/compositing/compositor.rs,
but that actually returns an Option<&CompositionPipeline>, not any kind
of PipelineId.
Diffstat (limited to 'components/script/dom/worker.rs')
-rw-r--r-- | components/script/dom/worker.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/components/script/dom/worker.rs b/components/script/dom/worker.rs index e40ebee24f0..9438569a5d1 100644 --- a/components/script/dom/worker.rs +++ b/components/script/dom/worker.rs @@ -85,13 +85,13 @@ impl Worker { let worker_load_origin = WorkerScriptLoadOrigin { referrer_url: None, referrer_policy: None, - pipeline_id: Some(global.pipeline()) + pipeline_id: Some(global.pipeline_id()), }; let (devtools_sender, devtools_receiver) = ipc::channel().unwrap(); let worker_id = global.get_next_worker_id(); if let Some(ref chan) = global.devtools_chan() { - let pipeline_id = global.pipeline(); + let pipeline_id = global.pipeline_id(); let title = format!("Worker for {}", worker_url); let page_info = DevtoolsPageInfo { title: title, @@ -105,7 +105,7 @@ impl Worker { let init = prepare_workerscope_init(global, Some(devtools_sender)); DedicatedWorkerGlobalScope::run_worker_scope( - init, worker_url, global.pipeline(), devtools_receiver, worker.runtime.clone(), worker_ref, + init, worker_url, global.pipeline_id(), devtools_receiver, worker.runtime.clone(), worker_ref, global.script_chan(), sender, receiver, worker_load_origin, closing); Ok(worker) |