diff options
| author | Víctor Manuel Jáquez Leal <vjaquez@igalia.com> | 2018-08-21 17:59:09 +0200 |
|---|---|---|
| committer | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2018-10-08 16:11:59 +0200 |
| commit | 77c7eda0bfe659fde191d0bb48cf6b124a5f4fd6 (patch) | |
| tree | 2a12c74ff6628bf0bfc048eccef53033ca7f155c /components/script/dom/htmlmediaelement.rs | |
| parent | ce76b5780a45a9e00ae3a235185d2ea15c6b688b (diff) | |
| download | servo-77c7eda0bfe659fde191d0bb48cf6b124a5f4fd6.tar.gz servo-77c7eda0bfe659fde191d0bb48cf6b124a5f4fd6.zip | |
HACK: don't call media_source_failure_steps when eos
Because gstreamer's appsrc queue might be big enough to swallow
the whole video holding the metadata extraction until EOS.
Diffstat (limited to 'components/script/dom/htmlmediaelement.rs')
| -rw-r--r-- | components/script/dom/htmlmediaelement.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/components/script/dom/htmlmediaelement.rs b/components/script/dom/htmlmediaelement.rs index f726648f5d2..292d1b8a6a5 100644 --- a/components/script/dom/htmlmediaelement.rs +++ b/components/script/dom/htmlmediaelement.rs @@ -1138,8 +1138,8 @@ impl FetchResponseListener for HTMLMediaElementContext { // format, or can otherwise not be rendered at all" if !elem.have_metadata.get() { // FIXME(victor): adjust player's max-size (or buffering) - elem.queue_dedicated_media_source_failure_steps(); - // => "Once the entire media resource has been fetched..." + //elem.queue_dedicated_media_source_failure_steps(); + // => "Once the entire media resource has been fetched..." } else if status.is_ok() { elem.change_ready_state(ReadyState::HaveEnoughData); |