diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2019-12-19 18:10:42 -0500 |
|---|---|---|
| committer | Josh Matthews <josh@joshmatthews.net> | 2020-02-24 15:58:58 -0500 |
| commit | f02e516f323cf63d4791e8d88f74fe1de9521e8f (patch) | |
| tree | 1fbd8fdc36815180c452b42f614ea685b764fd8c /components/script/dom/htmlmediaelement.rs | |
| parent | 6aacc9001be072c90bd7e1e554cfda982772cd12 (diff) | |
| download | servo-f02e516f323cf63d4791e8d88f74fe1de9521e8f.tar.gz servo-f02e516f323cf63d4791e8d88f74fe1de9521e8f.zip | |
Remove unnecessary Option.
Diffstat (limited to 'components/script/dom/htmlmediaelement.rs')
| -rw-r--r-- | components/script/dom/htmlmediaelement.rs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/components/script/dom/htmlmediaelement.rs b/components/script/dom/htmlmediaelement.rs index d9b0f11beef..d0e73dabc74 100644 --- a/components/script/dom/htmlmediaelement.rs +++ b/components/script/dom/htmlmediaelement.rs @@ -1340,9 +1340,7 @@ impl HTMLMediaElement { let audio_renderer = self.audio_renderer.borrow().as_ref().map(|r| r.clone()); - let pipeline_id = window - .pipeline_id() - .expect("Cannot create player outside of a pipeline"); + let pipeline_id = window.pipeline_id(); let client_context_id = ClientContextId::build(pipeline_id.namespace_id.0, pipeline_id.index.0.get()); let player = ServoMedia::get().unwrap().create_player( |