# HG changeset patch
# User wenzelm
# Date 1120574955 -7200
# Node ID 75f39d66425d4e057a56482a5ed87d3921950165
# Parent  d3416641926f165a54e32de9e35adc9f3f28ba5c
fixed regexp grouping;

diff -r d3416641926f -r 75f39d66425d Admin/profiling_report
--- a/Admin/profiling_report	Tue Jul 05 16:16:49 2005 +0200
+++ b/Admin/profiling_report	Tue Jul 05 16:49:15 2005 +0200
@@ -11,7 +11,7 @@
 my @output = ();
 
 while (<ARGV>) {
-    if (m,^( |\d){10} (\S+$|GARBAGE COLLECTION.*$),) {
+    if (m,^([ 0-9]{10}) (\S+$|GARBAGE COLLECTION.*$),) {
 	my $count = $1;
 	my $fun = $2;
 	if ($count =~ m,^\s*(\d)+$,) {