mirror of
https://github.com/servo/servo.git
synced 2025-08-10 07:55:33 +01:00
added infrastructure to handle interval and CSV time profiling alongside html-timeline-profiling
This commit is contained in:
parent
81246a7b61
commit
ca3084d241
9 changed files with 214 additions and 92 deletions
|
@ -31,7 +31,7 @@ pub enum ProfilerMsg {
|
|||
/// Message used to force print the profiling metrics
|
||||
Print,
|
||||
/// Tells the profiler to shut down.
|
||||
Exit,
|
||||
Exit(IpcSender<()>),
|
||||
}
|
||||
|
||||
#[repr(u32)]
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue