Admin/profiling_report
changeset 16858 fade1d3a2995
parent 16705 33f38450cab6
child 17001 51ff2bc32774
--- a/Admin/profiling_report	Thu Jul 14 20:32:37 2005 +0200
+++ b/Admin/profiling_report	Fri Jul 15 11:26:22 2005 +0200
@@ -27,7 +27,7 @@
 }
 
 foreach my $fun (keys %log) {
-    push @output, (sprintf "%8d %s\n", $log{$fun}, $fun);
+    push @output, (sprintf "%12d %s\n", $log{$fun}, $fun);
 }
 
 print (sort @output);