From 4275bd6c196c0234abfc56c8cc1e030e2f42336f Mon Sep 17 00:00:00 2001
From: Gabor Hojtsy <goba@php.net>
Date: Sat, 7 Jun 2003 18:18:32 +0000
Subject: [PATCH] Let's have a better looking error report

---
 mirror-info.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/mirror-info.php b/mirror-info.php
index 57e3193e6..c9eb9433f 100644
--- a/mirror-info.php
+++ b/mirror-info.php
@@ -30,4 +30,5 @@ if (isset($_SERVER['MIRROR_STATS'])) {
 echo "$MYSITE|", phpversion(), "|$LAST_UPDATED|$searchtype|$mirror_stats|" , default_language(), "|";
 
 // Test if there is a /manual alias
-virtual("/manual/noalias.txt");
+$correctmanual = @virtual("/manual/noalias.txt");
+if (!$correctmanual) { echo "manual-alias"; }