From da56cdfb376aa6e28b37e1cd6daeba08636992ee Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau__CGAL@normalesup.org>
Date: Fri, 10 Dec 2010 12:01:58 +0000
Subject: [PATCH] The first field of a platform name (tester login) may contain
 other characters than [a-z].

---
 Maintenance/test_handling/create_testresult_page | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Maintenance/test_handling/create_testresult_page b/Maintenance/test_handling/create_testresult_page
index 2bc96d5c9cb..af8a2f92537 100755
--- a/Maintenance/test_handling/create_testresult_page
+++ b/Maintenance/test_handling/create_testresult_page
@@ -443,7 +443,7 @@ EOF
 	print OUTPUT "<tr>\n<td><a name=\"platform$pf_num_plus_one\">$pf_no</a>\n";
 	$pf_no++;
 	# my $pf_short = join('_',parse_platform_2($pf));
-	(my $pf_short) = ($pf =~ m/[a-z]+_(.*)/);
+	(my $pf_short) = ($pf =~ m/_(.*)/);
 	print OUTPUT "<td><a href=\"$release_name/Installation/TestReport_$pf.gz\">$pf_short</a>";
 
         ($platform_is_64bits{$pf}) = ($pf =~ m/(x86[-_]64)/);