diff options
| author | Gregory Terzian <gterzian@users.noreply.github.com> | 2020-06-24 15:07:48 +0800 |
|---|---|---|
| committer | Gregory Terzian <gterzian@users.noreply.github.com> | 2020-06-30 13:22:38 +0800 |
| commit | 44ebca72da45575df4e5970e25920c46c14aa0cb (patch) | |
| tree | 88a9ed7d5529b9b83425d7b7cdd9b86f18ec12c2 /components/script/task_manager.rs | |
| parent | 0b61cfc3ae803ac0f9deef937f890f83b24c9a35 (diff) | |
| download | servo-44ebca72da45575df4e5970e25920c46c14aa0cb.tar.gz servo-44ebca72da45575df4e5970e25920c46c14aa0cb.zip | |
ensure clean shutdown of all threads running JS
Diffstat (limited to 'components/script/task_manager.rs')
| -rw-r--r-- | components/script/task_manager.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/components/script/task_manager.rs b/components/script/task_manager.rs index 063b5700484..184b427cfcb 100644 --- a/components/script/task_manager.rs +++ b/components/script/task_manager.rs @@ -182,7 +182,7 @@ impl TaskManager { let mut flags = self.task_cancellers.borrow_mut(); let cancel_flag = flags.entry(name).or_insert(Default::default()); TaskCanceller { - cancelled: Some(cancel_flag.clone()), + cancelled: cancel_flag.clone(), } } } |