Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-16 12:24:29 +00:00
Code Issues Projects Releases Packages Wiki Activity

worker_id type changed to uuid

Browse source 
Fixes #6631
`worker_id` is now generate as uuid and saved as string.
This commit is contained in:
Kunal Mohan 2019-12-08 18:24:44 +05:30
parent 03a47c803c
commit 5c56e661ca
No known key found for this signature in database
GPG key ID: 2B475A4524237BAC
5 changed files with 11 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

5
components/devtools_traits/lib.rs
View file

@ -25,6 +25,7 @@ use msg::constellation_msg::PipelineId;
use servo_url::ServoUrl;
use std::net::TcpStream;
use time::{self, Duration, Tm};
//use uuid::Uuid;
// Information would be attached to NewGlobal to be received and show in devtools.
// Extend these fields if we need more information.
@ -356,5 +357,5 @@ impl PreciseTime {
}
}
#[derive(Clone, Copy, Debug, Deserialize, Eq, Hash, MallocSizeOf, PartialEq, Serialize)]
pub struct WorkerId(pub u32);
#[derive(Clone, Debug, Deserialize, Eq, Hash, MallocSizeOf, PartialEq, Serialize)]
pub struct WorkerId(pub String);