Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 04:30:10 +01:00
Code Issues Projects Releases Packages Wiki Activity

Remove unnecessary Option.

Browse source
This commit is contained in:
Josh Matthews 2019-12-19 18:10:42 -05:00
parent 6aacc9001b
commit f02e516f32
6 changed files with 10 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

4
components/script/dom/htmlmediaelement.rs
View file

@ -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(