diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-04-23 11:30:01 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-23 11:30:01 -0400 |
| commit | 9a218e659a6404a56520e8416df3c2379fe34024 (patch) | |
| tree | 0501883941fe1b8cea1689c0c4d8fdd63d854ff2 /components/script | |
| parent | 54f54d194df1911d1dd35a82dd87331853f985a3 (diff) | |
| parent | 74a48937f1082b77c01902a35a9b188c571516ba (diff) | |
| download | servo-9a218e659a6404a56520e8416df3c2379fe34024.tar.gz servo-9a218e659a6404a56520e8416df3c2379fe34024.zip | |
Auto merge of #23247 - ferjm:rm.auto.media, r=jdm
Remove use of auto media backend. And update servo-media
- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
- [X] These changes fix #23242
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/23247)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script')
| -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, |