diff options
| author | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2019-04-23 16:15:46 +0200 |
|---|---|---|
| committer | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2019-04-23 16:24:33 +0200 |
| commit | 74a48937f1082b77c01902a35a9b188c571516ba (patch) | |
| tree | 0501883941fe1b8cea1689c0c4d8fdd63d854ff2 /components/script/dom/htmlmediaelement.rs | |
| parent | 54f54d194df1911d1dd35a82dd87331853f985a3 (diff) | |
| download | servo-74a48937f1082b77c01902a35a9b188c571516ba.tar.gz servo-74a48937f1082b77c01902a35a9b188c571516ba.zip | |
Remove use of auto media backend. And update servo-media
Diffstat (limited to 'components/script/dom/htmlmediaelement.rs')
| -rw-r--r-- | components/script/dom/htmlmediaelement.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/components/script/dom/htmlmediaelement.rs b/components/script/dom/htmlmediaelement.rs index 51170564be2..b6abf77f334 100644 --- a/components/script/dom/htmlmediaelement.rs +++ b/components/script/dom/htmlmediaelement.rs @@ -1300,7 +1300,8 @@ impl HTMLMediaElement { } } }, - PlayerEvent::Error => { + PlayerEvent::Error(ref error) => { + error!("Player error: {:?}", error); self.error.set(Some(&*MediaError::new( &*window_from_node(self), MEDIA_ERR_DECODE, |