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

Add a task source for messages from GLPlayer thread

Browse source
This commit is contained in:
Víctor Manuel Jáquez Leal 2019-06-14 14:42:44 +02:00 • committed by Fernando Jiménez Moreno
parent a9ad088e70
commit 95c3d52e7b
2 changed files with 35 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1297,7 +1297,7 @@ impl HTMLMediaElement {
);
// GLPlayer thread setup
let player_id = window
let (player_id, image_receiver) = window
.get_player_context()
.glplayer_chan
.map(|pipeline| {
@ -1308,14 +1308,37 @@ impl HTMLMediaElement {
.send(GLPlayerMsg::RegisterPlayer(image_sender))
.unwrap();
match image_receiver.recv().unwrap() {
GLPlayerMsgForward::PlayerId(id) => id,
GLPlayerMsgForward::PlayerId(id) => (id, Some(image_receiver)),
_ => unreachable!(),
}
})
.unwrap_or(0);
.unwrap_or((0, None));
self.id.set(player_id);
self.frame_renderer.lock().unwrap().id = player_id;
if let Some(image_receiver) = image_receiver {
let trusted_node = Trusted::new(self);
let (task_source, canceller) = window
.task_manager()
.media_element_task_source_with_canceller();
ROUTER.add_route(
image_receiver.to_opaque(),
Box::new(move |message| {
let msg: GLPlayerMsgForward = message.to().unwrap();
let _this = trusted_node.clone();
if let Err(err) = task_source.queue_with_canceller(
task!(handle_glplayer_message: move || {
trace!("GLPlayer message {:?}", msg);
}),
&canceller,
) {
warn!("Could not queue GL player message handler task {:?}", err);
}
}),
);
}
Ok(())
}