Admin/profiling_report
changeset 16693 75f39d66425d
parent 16671 ca316edcb031
child 16705 33f38450cab6
     1.1 --- a/Admin/profiling_report	Tue Jul 05 16:16:49 2005 +0200
     1.2 +++ b/Admin/profiling_report	Tue Jul 05 16:49:15 2005 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4  my @output = ();
     1.5  
     1.6  while (<ARGV>) {
     1.7 -    if (m,^( |\d){10} (\S+$|GARBAGE COLLECTION.*$),) {
     1.8 +    if (m,^([ 0-9]{10}) (\S+$|GARBAGE COLLECTION.*$),) {
     1.9  	my $count = $1;
    1.10  	my $fun = $2;
    1.11  	if ($count =~ m,^\s*(\d)+$,) {