diff options
| author | Gregory Terzian <gterzian@users.noreply.github.com> | 2020-05-24 16:36:10 +0800 |
|---|---|---|
| committer | Gregory Terzian <gterzian@users.noreply.github.com> | 2020-06-03 12:32:47 +0800 |
| commit | 947fa8bbb7195861a1d719422b0e961eda857eaf (patch) | |
| tree | ebcc333f8fb0419727dc5e97fe2e99c38a3029ea /components/script/dom/worker.rs | |
| parent | ed688fe2c1fe004f6c4007bb08dc792a6ab6bcac (diff) | |
| download | servo-947fa8bbb7195861a1d719422b0e961eda857eaf.tar.gz servo-947fa8bbb7195861a1d719422b0e961eda857eaf.zip | |
add a control chan to workers, use to signal shutdown
Diffstat (limited to 'components/script/dom/worker.rs')
| -rw-r--r-- | components/script/dom/worker.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/components/script/dom/worker.rs b/components/script/dom/worker.rs index af6d9ddb23c..ca3b811b042 100644 --- a/components/script/dom/worker.rs +++ b/components/script/dom/worker.rs @@ -124,6 +124,8 @@ impl Worker { let init = prepare_workerscope_init(global, Some(devtools_sender), Some(worker_id)); + let (control_sender, control_receiver) = unbounded(); + let join_handle = DedicatedWorkerGlobalScope::run_worker_scope( init, worker_url, @@ -139,9 +141,10 @@ impl Worker { global.image_cache(), browsing_context, global.wgpu_id_hub(), + control_receiver, ); - global.track_worker(closing, join_handle); + global.track_worker(closing, join_handle, control_sender); Ok(worker) } |