cvs: phpweb / source.php /manual index.php
| From: | jim winstead | Date: | Thu, 13 Dec 2001 19:23:15 +0000 |
| Subject: | cvs: phpweb / source.php /manual index.php | ||
| Groups: | php.mirrors | ||
| Request: | Send a blank email to php-mirrors+get-7826@lists.php.net to get a copy of this message | ||
jimw Thu Dec 13 14:23:15 2001 EDT
Modified files:
/phpweb source.php
/phpweb/manual index.php
Log:
silence is_dir tests that may fail
Index: phpweb/source.php
diff -u phpweb/source.php:1.10 phpweb/source.php:1.11
--- phpweb/source.php:1.10 Tue Aug 28 02:51:28 2001
+++ phpweb/source.php Thu Dec 13 14:23:14 2001
@@ -57,7 +57,7 @@
if (file_exists($page_name) && !is_dir($page_name)) {
show_source($page_name);
-} else if (is_dir($page_name)) {
+} else if (@is_dir($page_name)) {
echo "<p>No file specified. Can't show source for a
directory.</p>\n";
}
Index: phpweb/manual/index.php
diff -u phpweb/manual/index.php:1.4 phpweb/manual/index.php:1.5
--- phpweb/manual/index.php:1.4 Fri Jul 6 21:17:40 2001
+++ phpweb/manual/index.php Thu Dec 13 14:23:14 2001
@@ -2,7 +2,7 @@
require_once 'prepend.inc';
$lang = default_language();
-if (is_dir($lang)) {
+if (@is_dir($lang)) {
header("Location: $lang/");
}
header("Location: en/");