From fe860f3aad8d165850a43e5b8c8baea47b736887 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADctor=20Manuel=20J=C3=A1quez=20Leal?= Date: Fri, 14 Jun 2019 11:13:30 +0200 Subject: [PATCH] Define the channel type for player events --- components/script/dom/htmlmediaelement.rs | 4 ++-- 1 file 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::().unwrap(); let renderer: Option>> = 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(