Changes in directory nightlytest-serverside:
ProgramResults.php updated: 1.17 -> 1.18 --- Log message: Debugging newly pass fail report attempt #9. --- Diffs of the changes: (+4 -4) ProgramResults.php | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-) Index: nightlytest-serverside/ProgramResults.php diff -u nightlytest-serverside/ProgramResults.php:1.17 nightlytest-serverside/ProgramResults.php:1.18 --- nightlytest-serverside/ProgramResults.php:1.17 Wed Aug 30 16:20:01 2006 +++ nightlytest-serverside/ProgramResults.php Wed Aug 30 16:29:31 2006 @@ -561,7 +561,7 @@ $query = "SELECT * FROM program WHERE night=$prev_id"; $program_query = mysql_query($query) or die (mysql_error()); while($row = mysql_fetch_array($program_query)){ - if("{$row['result']}" !~ \\*\){ + if(strpos("{$row['result']}", "*") !== false) { $test_hash["{$row['program']}"]=$row['result']; } } @@ -571,7 +571,7 @@ $program_query = mysql_query($query) or die (mysql_error()); while($row = mysql_fetch_array($program_query)){ $test_key = "{$row['program']}"; - if(isset($test_hash[$test_key]) && "{$row['result']}" =~ \\*\){ + if(isset($test_hash[$test_key]) && strpos("{$row['result']}", "*") === false){ $result .= $test_key . "<br>\n"; } } @@ -626,7 +626,7 @@ $query = "SELECT * FROM program WHERE night=$cur_id"; $program_query = mysql_query($query) or die (mysql_error()); while($row = mysql_fetch_array($program_query)){ - if("{$row['result']}" =~ \\*\){ + if(strpos("{$row['result']}", "*") === false) { $test_hash["{$row['program']}"]=1; } } @@ -636,7 +636,7 @@ $program_query = mysql_query($query) or die (mysql_error()); while($row = mysql_fetch_array($program_query)){ $test_key = "{$row['program']}"; - if(isset($test_hash[$test_key]) && "{$row['result']}" !~ \\*\){ + if(isset($test_hash[$test_key]) && strpos("{$row['result']}", "*") !== false){ $result .= $test_key . "<br>\n"; } } _______________________________________________ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits