Use the old host name since Google hasn't indexed the new one already
authorJoey Schulze <joey@infodrom.org>
Fri, 29 Aug 2003 04:54:42 +0000 (04:54 +0000)
committerJoey Schulze <joey@infodrom.org>
Fri, 29 Aug 2003 04:54:42 +0000 (04:54 +0000)
src/search.php3

index 454df08..1a3a8f4 100644 (file)
@@ -1,6 +1,6 @@
 <?
   if ($keyword && $site) {
-    $url = "http://" . $site . "/search?q=site%3Alists.infodrom.org+" . ereg_replace (" ", "+", $keyword);
+    $url = "http://" . $site . "/search?q=site%3Awww.infodrom.org+" . ereg_replace (" ", "+", $keyword);
     header ("Location: $url");
     mail ("joey@luonnotar.infodrom.org", "http://lists.infodrom.org/search.php3",
 "Site    : $site