mirror of
https://github.com/servo/servo.git
synced 2025-07-21 14:23:41 +01:00
Profile: removed opts::get()
This commit is contained in:
parent
7a5ce048d2
commit
f29ae9d88f
4 changed files with 37 additions and 20 deletions
|
@ -224,6 +224,7 @@ where
|
|||
let time_profiler_chan = profile_time::Profiler::create(
|
||||
&opts.time_profiling,
|
||||
opts.time_profiler_trace_path.clone(),
|
||||
opts.profile_heartbeats,
|
||||
);
|
||||
let mem_profiler_chan = profile_mem::Profiler::create(opts.mem_profiler_period);
|
||||
let debugger_chan = opts.debugger_port.map(|port| debugger::start_server(port));
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue