mirror of
https://github.com/servo/servo.git
synced 2025-07-23 07:13:52 +01:00
allow for a service worker manager per origin
This commit is contained in:
parent
9972aee81f
commit
db217d5575
11 changed files with 405 additions and 245 deletions
|
@ -91,7 +91,7 @@ pub mod script_runtime;
|
|||
#[allow(unsafe_code)]
|
||||
pub mod script_thread;
|
||||
#[warn(deprecated)]
|
||||
mod serviceworker_manager;
|
||||
pub mod serviceworker_manager;
|
||||
#[warn(deprecated)]
|
||||
mod serviceworkerjob;
|
||||
#[warn(deprecated)]
|
||||
|
@ -115,7 +115,7 @@ mod unpremultiplytable;
|
|||
#[warn(deprecated)]
|
||||
mod webdriver_handlers;
|
||||
|
||||
pub use init::{init, init_service_workers};
|
||||
pub use init::init;
|
||||
pub use script_runtime::JSEngineSetup;
|
||||
|
||||
/// A module with everything layout can use from script.
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue