--- htdig-3.2.0b6/htdig/Server.cc.robots 2004-07-06 18:15:01.510611585 +0200
+++ htdig-3.2.0b6/htdig/Server.cc 2004-07-06 18:16:45.320855621 +0200
@@ -341,6 +341,8 @@
{
String fullpatt = "^[^:]*://[^/]*(";
fullpatt << pattern << ')';
+ if (pattern.length() == 0)
+ fullpatt = "";
_disallow.set(fullpatt, config->Boolean("case_sensitive"));
}
}