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

Provide one more search type

Browse Source
This commit is contained in:
Gabor Hojtsy
2003-01-05 12:02:34 +00:00
parent de13684f56
commit 2b484c1786
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
mirror-info.php
View File

@@ -7,14 +7,19 @@ include_once "prepend.inc";
unset($htsearch_prog);
if (file_exists("configuration.inc")) {
include_once 'configuration.inc';
$searchtype = 2;
}
if (isset($_SERVER['HTSEARCH_PROG'])) {
$htsearch_prog = $_SERVER['HTSEARCH_PROG'];
$searchtype = 1;
}
if (!is_executable($htsearch_prog)) {
unset($htsearch_prog);
}
if (!isset($htsearch_prog)) {
$searchtype = 0;
}
echo "$MYSITE|", phpversion(), "|$LAST_UPDATED|" . ((int) isset($htsearch_prog));
echo "$MYSITE|", phpversion(), "|$LAST_UPDATED|$searchtype";
?>