diff options
| author | Gregory Terzian <gterzian@users.noreply.github.com> | 2018-07-05 12:33:09 +0800 |
|---|---|---|
| committer | Gregory Terzian <gterzian@users.noreply.github.com> | 2018-07-10 13:42:28 +0800 |
| commit | 671627e97e20ae4baf728ae6dda61ef6f857c193 (patch) | |
| tree | c86d1e568b551613bde1b61bf3db3dee42735a79 /components/script/dom/htmlmediaelement.rs | |
| parent | ce430566cdbccaa86ec498aa48392eab3ec69256 (diff) | |
| download | servo-671627e97e20ae4baf728ae6dda61ef6f857c193.tar.gz servo-671627e97e20ae4baf728ae6dda61ef6f857c193.zip | |
introduce "per task source" ignoring of tasks
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 1122e267e7e..466bcae3280 100644 --- a/components/script/dom/htmlmediaelement.rs +++ b/components/script/dom/htmlmediaelement.rs @@ -46,7 +46,7 @@ use std::collections::VecDeque; use std::mem; use std::rc::Rc; use std::sync::{Arc, Mutex}; -use task_source::TaskSource; +use task_source::{TaskSource, TaskSourceName}; use time::{self, Timespec, Duration}; #[dom_struct] @@ -608,7 +608,7 @@ impl HTMLMediaElement { let listener = NetworkListener { context: context, task_source: window.networking_task_source(), - canceller: Some(window.task_canceller()) + canceller: Some(window.task_canceller(TaskSourceName::Networking)) }; ROUTER.add_route(action_receiver.to_opaque(), Box::new(move |message| { listener.notify_fetch(message.to().unwrap()); |