diff options
| author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2020-04-10 00:15:17 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-10 00:15:17 +0200 |
| commit | be71885628c3820cc4e62d229326de16a6830fec (patch) | |
| tree | 664bac497658757a77b3d96cc71a1155613b20b1 /cli/state.rs | |
| parent | ac215a24613636b6e84b37a86dc4711dfaa4f2cc (diff) | |
implement Worker.terminate() and self.close() (#4684)
Diffstat (limited to 'cli/state.rs')
| -rw-r--r-- | cli/state.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cli/state.rs b/cli/state.rs index d55e4e5eb..228ef1200 100644 --- a/cli/state.rs +++ b/cli/state.rs @@ -8,7 +8,7 @@ use crate::op_error::OpError; use crate::ops::JsonOp; use crate::ops::MinimalOp; use crate::permissions::DenoPermissions; -use crate::worker::WorkerHandle; +use crate::web_worker::WebWorkerHandle; use deno_core::Buf; use deno_core::CoreOp; use deno_core::ErrBox; @@ -62,7 +62,7 @@ pub struct StateInner { pub import_map: Option<ImportMap>, pub metrics: Metrics, pub global_timer: GlobalTimer, - pub workers: HashMap<u32, (JoinHandle<()>, WorkerHandle)>, + pub workers: HashMap<u32, (JoinHandle<()>, WebWorkerHandle)>, pub next_worker_id: u32, pub start_time: Instant, pub seeded_rng: Option<StdRng>, |