diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-10-24 11:47:59 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-24 11:47:59 -0400 |
| commit | abc0f50d208722f4f55e1742ba55936369ecdc3f (patch) | |
| tree | 35b32bfaa519d6edcb3f0183e2b873408a90ac55 /components/script/dom | |
| parent | 657173abd8331842c4c81a9ad0773d55523e824f (diff) | |
| parent | 21f67a99f5beec9923d0a8a568b20a02e6ec65f9 (diff) | |
| download | servo-abc0f50d208722f4f55e1742ba55936369ecdc3f.tar.gz servo-abc0f50d208722f4f55e1742ba55936369ecdc3f.zip | |
Auto merge of #22014 - ferjm:update.servo.media, r=asajeffrey
Update servo-media to fix intermittent timeouts
- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
- [X] These changes fix #22010
<!-- 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/22014)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom')
| -rw-r--r-- | components/script/dom/htmlmediaelement.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/components/script/dom/htmlmediaelement.rs b/components/script/dom/htmlmediaelement.rs index ba0dfd896fe..8aad0820502 100644 --- a/components/script/dom/htmlmediaelement.rs +++ b/components/script/dom/htmlmediaelement.rs @@ -1038,7 +1038,9 @@ impl HTMLMediaElement { }, _ => {}, }, - PlayerEvent::PositionChanged(_) => { + PlayerEvent::PositionChanged(_) | + PlayerEvent::SeekData(_) | + PlayerEvent::SeekDone(_) => { // TODO: Support for HTMLMediaElement seeking and related API properties #21998 }, PlayerEvent::EndOfStream => { |