mirror of
https://github.com/servo/servo.git
synced 2025-06-06 16:45:39 +00:00
Remove workerglobalscope::WorkerGlobalScopeTypeId
This commit is contained in:
parent
5a42bb58f9
commit
093b189b48
1 changed files with 0 additions and 5 deletions
|
@ -54,11 +54,6 @@ use task_source::file_reading::FileReadingTaskSource;
|
|||
use timers::{IsInterval, OneshotTimerCallback, OneshotTimerHandle, OneshotTimers, TimerCallback};
|
||||
use url::Url;
|
||||
|
||||
#[derive(Copy, Clone, PartialEq)]
|
||||
pub enum WorkerGlobalScopeTypeId {
|
||||
DedicatedWorkerGlobalScope,
|
||||
}
|
||||
|
||||
pub fn prepare_workerscope_init(global: GlobalRef,
|
||||
devtools_sender: Option<IpcSender<DevtoolScriptControlMsg>>) -> WorkerGlobalScopeInit {
|
||||
let worker_id = global.get_next_worker_id();
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue