]> granicus.if.org Git - php/commitdiff
Use eregi is better (noticed by Jon)
authorMarcus Boerger <helly@php.net>
Fri, 15 Nov 2002 16:33:05 +0000 (16:33 +0000)
committerMarcus Boerger <helly@php.net>
Fri, 15 Nov 2002 16:33:05 +0000 (16:33 +0000)
run-tests.php

index 27e4339dd028d208ed17793508e9e175cadd9a9d..c1fd98eb4d429ae6b5740d54f907da1a0888000c 100755 (executable)
@@ -534,7 +534,7 @@ TEST $file
                        save_text($tmp_skipif, $section_text['SKIPIF']);
                        $output = `$php $info_params $tmp_skipif`;
                        @unlink($tmp_skipif);
-                       if (ereg("^skip", strtolower(trim($output)))) {
+                       if (eregi("^skip", trim($output))) {
                                echo "SKIP $tested";
                                $reason = (ereg("^skip[[:space:]]*(.+)\$", trim($output))) ? ereg_replace("^skip[[:space:]]*(.+)\$", "\\1", trim($output)) : FALSE;
                                if ($reason) {
@@ -544,7 +544,7 @@ TEST $file
                                }
                                return 'SKIPPED';
                        }
-                       if (ereg("^info", strtolower(trim($output)))) {
+                       if (eregi("^info", trim($output))) {
                                $reason = (ereg("^info[[:space:]]*(.+)\$", trim($output))) ? ereg_replace("^info[[:space:]]*(.+)\$", "\\1", trim($output)) : FALSE;
                                if ($reason) {
                                        $tested .= " (info: $reason)";