cvs: phpweb /bin index.php /include index.php /pear index.php
| From: | Mark Kronsbein | Date: | Sat, 29 Dec 2001 00:10:55 +0000 |
| Subject: | cvs: phpweb /bin index.php /include index.php /pear index.php | ||
| Groups: | php.mirrors | ||
| Request: | Send a blank email to php-mirrors+get-7997@lists.php.net to get a copy of this message | ||
mk Fri Dec 28 19:10:55 2001 EDT
Modified files:
/phpweb/bin index.php
/phpweb/include index.php
/phpweb/pear index.php
Log:
Make this right (hopefully ;)
Index: phpweb/bin/index.php
diff -u phpweb/bin/index.php:1.1 phpweb/bin/index.php:1.2
--- phpweb/bin/index.php:1.1 Sun Sep 23 22:48:45 2001
+++ phpweb/bin/index.php Fri Dec 28 19:10:54 2001
@@ -10,7 +10,11 @@
$file = find_manual_page(default_language(), "bin");
if ($file) {
- header("Location: $file");
-} else { header("Location: /"); }
-
+header("Location: http://".$SERVER_NAME.$file);
+exit;
+}
+else {
+header("Location: http://".$SERVER_NAME."/");
+exit;
+}
?>
Index: phpweb/include/index.php
diff -u phpweb/include/index.php:1.7 phpweb/include/index.php:1.8
--- phpweb/include/index.php:1.7 Sun Jul 8 07:30:23 2001
+++ phpweb/include/index.php Fri Dec 28 19:10:55 2001
@@ -10,7 +10,11 @@
$file = find_manual_page(default_language(), "include");
if ($file) {
- header("Location: $file");
-} else { header("Location: /"); }
-
+header("Location: http://".$SERVER_NAME.$file);
+exit;
+}
+else {
+header("Location: http://".$SERVER_NAME."/");
+exit;
+}
?>
Index: phpweb/pear/index.php
diff -u phpweb/pear/index.php:1.3 phpweb/pear/index.php:1.4
--- phpweb/pear/index.php:1.3 Fri Jul 27 08:47:15 2001
+++ phpweb/pear/index.php Fri Dec 28 19:10:55 2001
@@ -10,7 +10,11 @@
$file = find_manual_page(default_language(), "pear");
if ($file) {
- header("Location: $file");
-} else { header("Location: /"); }
-
+header("Location: http://".$SERVER_NAME.$file);
+exit;
+}
+else {
+header("Location: http://".$SERVER_NAME."/");
+exit;
+}
?>