cvs: php-bugs-web / error.php
| From: | Rasmus Lerdorf | Date: | Sat, 02 Aug 2008 16:21:20 +0000 |
| Subject: | cvs: php-bugs-web / error.php | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-2280@lists.php.net to get a copy of this message | ||
rasmus Sat Aug 2 16:21:20 2008 UTC
Modified files:
/php-bugs-web error.php
Log:
Make it an int
http://cvs.php.net/viewvc.cgi/php-bugs-web/error.php?r1=1.2&r2=1.3&diff_format=u
Index: php-bugs-web/error.php
diff -u php-bugs-web/error.php:1.2 php-bugs-web/error.php:1.3
--- php-bugs-web/error.php:1.2 Sat Aug 2 16:14:26 2008
+++ php-bugs-web/error.php Sat Aug 2 16:21:20 2008
@@ -1,6 +1,6 @@
<?php
#$uri=substr($REDIRECT_ERROR_NOTES,strpos($REDIRECT_ERROR_NOTES,$DOCUMENT_ROOT)+strlen($DOCUMENT_ROOT)+1);
$uri = $_SERVER['REQUEST_URI'];
-if ($uri[0] == "/") $uri = substr($uri,1);
+if ($uri[0] == "/") $uri = (int)substr($uri,1);
Header("Location: http://bugs.php.net/bug.php?id=$uri");
?>