Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-08 06:55:31 +01:00
Code Issues Projects Releases Packages Wiki Activity

auto merge of #2459 : zwarich/servo/tree-map-rev-iter, r=jdm

Browse source
This commit is contained in:
bors-servo 2014-05-18 00:28:37 -04:00
commit 0183483248
1 changed files with 1 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/components/util/time.rs
View file

@ -186,9 +186,7 @@ impl Profiler {
println!("{:39s} {:15s} {:15s} {:15s} {:15s} {:15s}", println!("{:39s} {:15s} {:15s} {:15s} {:15s} {:15s}",
"_category_", "_mean (ms)_", "_median (ms)_", "_category_", "_mean (ms)_", "_median (ms)_",
"_min (ms)_", "_max (ms)_", "_bucket size_"); "_min (ms)_", "_max (ms)_", "_bucket size_");
for (category, data) in self.buckets.iter() { for (category, data) in self.buckets.mut_iter() {
// FIXME(XXX): TreeMap currently lacks mut_iter()
let mut data = data.clone();
data.sort_by(|a, b| { data.sort_by(|a, b| {
if a < b { if a < b {
Less Less