mirror of
https://github.com/servo/servo.git
synced 2025-08-07 06:25:32 +01:00
Use u32 for SubpageId.
This commit is contained in:
parent
131270c1d3
commit
864679db24
2 changed files with 1 additions and 3 deletions
|
@ -318,7 +318,7 @@ pub struct WorkerId(pub u32);
|
|||
pub struct PipelineId(pub u32);
|
||||
|
||||
#[derive(Clone, PartialEq, Eq, Copy, Hash, Debug)]
|
||||
pub struct SubpageId(pub uint);
|
||||
pub struct SubpageId(pub u32);
|
||||
|
||||
// The type of pipeline exit. During complete shutdowns, pipelines do not have to
|
||||
// release resources automatically released on process termination.
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue