mirror of
https://github.com/servo/servo.git
synced 2025-07-22 23:03:42 +01:00
Remove ScopeThings::pipeline_id
It can be retrieved through its init field.
This commit is contained in:
parent
1aebe9fde6
commit
d02a615fcc
3 changed files with 1 additions and 4 deletions
|
@ -151,8 +151,6 @@ pub enum ScriptMsg {
|
|||
pub struct ScopeThings {
|
||||
/// script resource url
|
||||
pub script_url: Url,
|
||||
/// pipeline which requested the activation
|
||||
pub pipeline_id: PipelineId,
|
||||
/// network load origin of the resource
|
||||
pub worker_load_origin: WorkerScriptLoadOrigin,
|
||||
/// base resources required to create worker global scopes
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue