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/htmlscriptelement.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/htmlscriptelement.rs')
-rw-r--r-- | components/script/dom/htmlscriptelement.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/components/script/dom/htmlscriptelement.rs b/components/script/dom/htmlscriptelement.rs index ee42746c71f..8f07f1e80c8 100644 --- a/components/script/dom/htmlscriptelement.rs +++ b/components/script/dom/htmlscriptelement.rs @@ -41,6 +41,7 @@ use std::path::PathBuf; use std::process::{Command, Stdio}; use std::sync::{Arc, Mutex}; use style::str::{HTML_SPACE_CHARACTERS, StaticStringVec}; +use task_source::TaskSourceName; use uuid::Uuid; #[dom_struct] @@ -273,7 +274,7 @@ fn fetch_a_classic_script(script: &HTMLScriptElement, let listener = NetworkListener { context: context, task_source: doc.window().networking_task_source(), - canceller: Some(doc.window().task_canceller()) + canceller: Some(doc.window().task_canceller(TaskSourceName::Networking)) }; ROUTER.add_route(action_receiver.to_opaque(), Box::new(move |message| { |