summaryrefslogtreecommitdiff
path: root/scripts/dev
diff options
context:
space:
mode:
authorAntony Dovgal <tony2001@php.net>2006-09-10 11:44:51 +0000
committerAntony Dovgal <tony2001@php.net>2006-09-10 11:44:51 +0000
commit299af461469000a3e27c99790fa44f78fa5ee0ee (patch)
tree2cdc9f66c9e707ad6676d506527d315f35133091 /scripts/dev
parent42d4e3533e011234650b2e15f8fe7ca5738df94d (diff)
downloadphp-git-299af461469000a3e27c99790fa44f78fa5ee0ee.tar.gz
more improvements
Diffstat (limited to 'scripts/dev')
-rw-r--r--scripts/dev/check_parameters.php11
1 files changed, 8 insertions, 3 deletions
diff --git a/scripts/dev/check_parameters.php b/scripts/dev/check_parameters.php
index f79f868963..cefb32d645 100644
--- a/scripts/dev/check_parameters.php
+++ b/scripts/dev/check_parameters.php
@@ -22,7 +22,7 @@
define('REPORT_LEVEL', 2); // 0 reports less false-positives. up to level 5.
define('VERSION', '5.2'); // minimum is 5.2
-define('PHPDIR', dirname(__FILE__) . '/../..');
+define('PHPDIR', realpath(dirname(__FILE__) . '/../..'));
// be sure you have enough memory and stack for PHP. pcre will push the limits!
@@ -64,7 +64,12 @@ function error($str, $level = 0)
global $current_file, $current_function, $line;
if ($level <= REPORT_LEVEL) {
- echo substr($current_file, strlen(PHPDIR)+1) . " [$line] $current_function : $str\n";
+ if (strpos($current_file,PHPDIR) === 0) {
+ $filename = substr($current_file, strlen(PHPDIR)+1);
+ } else {
+ $filename = $current_file;
+ }
+ echo $filename , " [$line] $current_function : $str\n";
}
}
@@ -364,5 +369,5 @@ foreach($dirs as $dir) {
}
foreach ($dirs as $dir) {
- recurse($dir);
+ recurse(realpath($dir));
}