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 | |
| parent | b19f9d9c5b6360d1d05ac3b2b7b3b5d78b0bdfa9 (diff) | |
| download | servo-21f67a99f5beec9923d0a8a568b20a02e6ec65f9.tar.gz servo-21f67a99f5beec9923d0a8a568b20a02e6ec65f9.zip | |
Update servo-media to fix intermittent timeouts
| -rw-r--r-- | Cargo.lock | 10 | ||||
| -rw-r--r-- | components/script/dom/htmlmediaelement.rs | 4 |
2 files changed, 8 insertions, 6 deletions
diff --git a/Cargo.lock b/Cargo.lock index 2182c709851..3c0f09bcdc5 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -3259,7 +3259,7 @@ dependencies = [ [[package]] name = "servo-media" version = "0.1.0" -source = "git+https://github.com/servo/media#a9cfeabf1616ef680473836098784884388156ee" +source = "git+https://github.com/servo/media#3b347d7b0431c58611e2bd7b22d34062b64cda26" dependencies = [ "servo-media-audio 0.1.0 (git+https://github.com/servo/media)", "servo-media-gstreamer 0.1.0 (git+https://github.com/servo/media)", @@ -3269,7 +3269,7 @@ dependencies = [ [[package]] name = "servo-media-audio" version = "0.1.0" -source = "git+https://github.com/servo/media#a9cfeabf1616ef680473836098784884388156ee" +source = "git+https://github.com/servo/media#3b347d7b0431c58611e2bd7b22d34062b64cda26" dependencies = [ "boxfnonce 0.1.0 (registry+https://github.com/rust-lang/crates.io-index)", "byte-slice-cast 0.2.0 (registry+https://github.com/rust-lang/crates.io-index)", @@ -3286,7 +3286,7 @@ dependencies = [ [[package]] name = "servo-media-gstreamer" version = "0.1.0" -source = "git+https://github.com/servo/media#a9cfeabf1616ef680473836098784884388156ee" +source = "git+https://github.com/servo/media#3b347d7b0431c58611e2bd7b22d34062b64cda26" dependencies = [ "byte-slice-cast 0.2.0 (registry+https://github.com/rust-lang/crates.io-index)", "glib 0.6.0 (registry+https://github.com/rust-lang/crates.io-index)", @@ -3304,7 +3304,7 @@ dependencies = [ [[package]] name = "servo-media-player" version = "0.1.0" -source = "git+https://github.com/servo/media#a9cfeabf1616ef680473836098784884388156ee" +source = "git+https://github.com/servo/media#3b347d7b0431c58611e2bd7b22d34062b64cda26" dependencies = [ "ipc-channel 0.11.0 (registry+https://github.com/rust-lang/crates.io-index)", "serde 1.0.66 (registry+https://github.com/rust-lang/crates.io-index)", @@ -3400,7 +3400,7 @@ dependencies = [ [[package]] name = "servo_media_derive" version = "0.1.0" -source = "git+https://github.com/servo/media#a9cfeabf1616ef680473836098784884388156ee" +source = "git+https://github.com/servo/media#3b347d7b0431c58611e2bd7b22d34062b64cda26" dependencies = [ "quote 0.5.1 (registry+https://github.com/rust-lang/crates.io-index)", "syn 0.13.1 (registry+https://github.com/rust-lang/crates.io-index)", 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 => { |