From b6d05697d1fe65e63f4c898d6a78e27dbd95d114 Mon Sep 17 00:00:00 2001 From: Gabor Hojtsy Date: Sun, 22 Aug 2004 15:02:10 +0000 Subject: [PATCH] check for uptodate rsnyc settings on mirror sites --- mirror-info.php | 3 +++ 1 file changed, 3 insertions(+) diff --git a/mirror-info.php b/mirror-info.php index 474fbef4c..8152729cf 100644 --- a/mirror-info.php +++ b/mirror-info.php @@ -40,3 +40,6 @@ ob_flush(); // Test if there is a /manual alias $correctmanual = @virtual("/manual/noalias.txt"); if (!$correctmanual) { echo "manual-alias"; } + +// Check for for an exe file (rsnyc settings) +echo (int) file_exists($_SERVER['DOCUMENT_ROOT'] . '/distributions/php-5.0.1-installer.exe');