From 2b484c1786435c451317c22784a860c8664a3a9f Mon Sep 17 00:00:00 2001 From: Gabor Hojtsy Date: Sun, 5 Jan 2003 12:02:34 +0000 Subject: [PATCH] Provide one more search type --- mirror-info.php | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/mirror-info.php b/mirror-info.php index 15a8d8c2f..296fa6c81 100644 --- a/mirror-info.php +++ b/mirror-info.php @@ -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"; ?> \ No newline at end of file