diff options
| author | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2018-10-24 16:14:18 +0200 |
|---|---|---|
| committer | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2018-10-24 16:36:50 +0200 |
| commit | 21f67a99f5beec9923d0a8a568b20a02e6ec65f9 (patch) | |
| tree | 76ee7cb05e3ad33c5965098bc080fe3884fb9c6e /components/script | |
| parent | b19f9d9c5b6360d1d05ac3b2b7b3b5d78b0bdfa9 (diff) | |
| download | servo-21f67a99f5beec9923d0a8a568b20a02e6ec65f9.tar.gz servo-21f67a99f5beec9923d0a8a568b20a02e6ec65f9.zip | |
Update servo-media to fix intermittent timeouts
Diffstat (limited to 'components/script')
| -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 => { |