Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-30 10:40:27 +01:00
Code Issues Projects Releases Packages Wiki Activity

WorkerId changed to type UUID.

Browse source
This commit is contained in:
Kunal Mohan 2019-12-09 23:42:00 +05:30
parent 5c56e661ca
commit d5475fbc9f
No known key found for this signature in database
GPG key ID: 2B475A4524237BAC
9 changed files with 19 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

6
components/devtools_traits/lib.rs
View file

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