diff options
author | Víctor Manuel Jáquez Leal <vjaquez@igalia.com> | 2019-06-14 11:13:30 +0200 |
---|---|---|
committer | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2019-07-04 10:25:47 +0200 |
commit | fe860f3aad8d165850a43e5b8c8baea47b736887 (patch) | |
tree | 3964dd263188f60777181373a3a08ee7a6129fe5 /components/script/dom/htmlmediaelement.rs | |
parent | dd01728d530183b9150699018db941768c26ad0f (diff) | |
download | servo-fe860f3aad8d165850a43e5b8c8baea47b736887.tar.gz servo-fe860f3aad8d165850a43e5b8c8baea47b736887.zip |
Define the channel type for player events
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 b66c5dd42fb..72ab28f1df0 100644 --- a/components/script/dom/htmlmediaelement.rs +++ b/components/script/dom/htmlmediaelement.rs @@ -1254,7 +1254,7 @@ impl HTMLMediaElement { }; let window = window_from_node(self); - let (action_sender, action_receiver) = ipc::channel().unwrap(); + let (action_sender, action_receiver) = ipc::channel::<PlayerEvent>().unwrap(); let renderer: Option<Arc<Mutex<dyn FrameRenderer>>> = match self.media_type_id() { HTMLMediaElementTypeId::HTMLAudioElement => None, HTMLMediaElementTypeId::HTMLVideoElement => Some(self.frame_renderer.clone()), @@ -1276,7 +1276,7 @@ impl HTMLMediaElement { ROUTER.add_route( action_receiver.to_opaque(), Box::new(move |message| { - let event: PlayerEvent = message.to().unwrap(); + let event = message.to().unwrap(); trace!("Player event {:?}", event); let this = trusted_node.clone(); if let Err(err) = task_source.queue_with_canceller( |