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/htmlimageelement.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/htmlimageelement.rs')
-rw-r--r-- | components/script/dom/htmlimageelement.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/components/script/dom/htmlimageelement.rs b/components/script/dom/htmlimageelement.rs index b37199ca0db..668c66d7734 100644 --- a/components/script/dom/htmlimageelement.rs +++ b/components/script/dom/htmlimageelement.rs @@ -58,7 +58,7 @@ use std::i32; use std::sync::{Arc, Mutex}; use style::attr::{AttrValue, LengthOrPercentageOrAuto, parse_double, parse_unsigned_integer}; use style::str::is_ascii_digit; -use task_source::TaskSource; +use task_source::{TaskSource, TaskSourceName}; enum ParseState { InDescriptor, @@ -185,7 +185,7 @@ impl HTMLImageElement { let window = window_from_node(elem); let task_source = window.networking_task_source(); - let task_canceller = window.task_canceller(); + let task_canceller = window.task_canceller(TaskSourceName::Networking); let generation = elem.generation.get(); ROUTER.add_route(responder_receiver.to_opaque(), Box::new(move |message| { debug!("Got image {:?}", message); @@ -253,7 +253,7 @@ impl HTMLImageElement { 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()); |