More search stuff...

This commit is contained in:
Jeff Teunissen 2000-07-08 04:13:02 +00:00
parent 36084176c2
commit 9364377f5d
2 changed files with 9 additions and 4 deletions

View file

@ -75,8 +75,9 @@
' <OPTION value="news">News</OPTION>' . ' <OPTION value="news">News</OPTION>' .
// ' <OPTION value="site">Site</OPTION>' . // ' <OPTION value="site">Site</OPTION>' .
// ' <OPTION value="bugs">Bug Tracking</OPTION>' . // ' <OPTION value="bugs">Bug Tracking</OPTION>' .
' <OPTION value="devel">Developer Mail List</OPTION>' . ' <OPTION value="-cvs">CVS Logs</OPTION>' .
' <OPTION value="devel">Users Mail List</OPTION>' . ' <OPTION value="-devel">Developer Mail List</OPTION>' .
' <OPTION value="-users">Users Mail List</OPTION>' .
// ' <OPTION value="patches">Patches</OPTION>' . // ' <OPTION value="patches">Patches</OPTION>' .
' </SELECT>' . ' </SELECT>' .
' <BR>' . ' <BR>' .

View file

@ -4,11 +4,15 @@
$string = AddSlashes ($words); $string = AddSlashes ($words);
include "old_news.php"; include "old_news.php";
break; break;
case "devel": case "-cvs":
$string = urlencode ($words);
header ("Location: http://www.geocrawler.com/search/?config=899&words=$string");
break;
case "-devel":
$string = urlencode ($words); $string = urlencode ($words);
header ("Location: http://www.geocrawler.com/search/?config=856&words=$string"); header ("Location: http://www.geocrawler.com/search/?config=856&words=$string");
break; break;
case "user": case "-user":
$string = urlencode ($words); $string = urlencode ($words);
header ("Location: http://www.geocrawler.com/search/?config=898&words=$string"); header ("Location: http://www.geocrawler.com/search/?config=898&words=$string");
break; break;