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