Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-04 13:10:20 +01:00
Code Issues Projects Releases Packages Wiki Activity

Set input size

Browse source
This commit is contained in:
Fernando Jiménez Moreno 2018-09-21 16:32:59 +02:00
parent 50582f1548
commit 5bbd09769c
1 changed files with 9 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

10
components/script/dom/htmlmediaelement.rs
View file

@ -33,6 +33,7 @@ use dom::virtualmethods::VirtualMethods;
use dom_struct::dom_struct; use dom_struct::dom_struct;
use fetch::FetchCanceller; use fetch::FetchCanceller;
use html5ever::{LocalName, Prefix}; use html5ever::{LocalName, Prefix};
use hyper::header::ContentLength;
use ipc_channel::ipc; use ipc_channel::ipc;
use ipc_channel::router::ROUTER; use ipc_channel::router::ROUTER;
use microtask::{Microtask, MicrotaskRunnable}; use microtask::{Microtask, MicrotaskRunnable};
@ -993,7 +994,6 @@ impl HTMLMediaElement {
// Step 5. // Step 5.
if self.is::<HTMLVideoElement>() { if self.is::<HTMLVideoElement>() {
assert_ne!(self.ready_state.get(), ReadyState::HaveNothing);
let video_elem = self.downcast::<HTMLVideoElement>().unwrap(); let video_elem = self.downcast::<HTMLVideoElement>().unwrap();
video_elem.set_video_width(metadata.width); video_elem.set_video_width(metadata.width);
video_elem.set_video_height(metadata.height); video_elem.set_video_height(metadata.height);
@ -1235,6 +1235,14 @@ impl FetchResponseListener for HTMLMediaElementContext {
FetchMetadata::Filtered { unsafe_, .. } => unsafe_, FetchMetadata::Filtered { unsafe_, .. } => unsafe_,
}); });
if let Some(metadata) = self.metadata.as_ref() {
if let Some(headers) = metadata.headers.as_ref() {
if let Some(content_length) = headers.get::<ContentLength>() {
self.elem.root().player.set_input_size(**content_length);
}
}
}
let status_is_ok = self let status_is_ok = self
.metadata .metadata
.as_ref() .as_ref()