php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Code Issues Packages Projects Releases Wiki Activity

check for uptodate rsnyc settings on mirror sites

Browse Source
This commit is contained in:
Gabor Hojtsy
2004-08-22 15:02:10 +00:00
parent 78be9665a0
commit b6d05697d1
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
mirror-info.php
View File

@@ -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');