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/console.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/console.rs')
| -rw-r--r-- | components/script/dom/console.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/components/script/dom/console.rs b/components/script/dom/console.rs index 37d549befd9..f167e8b28fe 100644 --- a/components/script/dom/console.rs +++ b/components/script/dom/console.rs @@ -18,7 +18,7 @@ impl Console { if let Some(chan) = global.devtools_chan() { let console_message = prepare_message(level, message); let devtools_message = ScriptToDevtoolsControlMsg::ConsoleAPI( - global.pipeline(), + global.pipeline_id(), console_message, global.get_worker_id()); chan.send(devtools_message).unwrap(); |