--- includes/phplib/menu.inc Fri Oct 13 21:05:28 2000
+++ phplib-7.2c/php/menu.inc Wed Jul 12 20:25:43 2000
@@ -146,7 +146,7 @@
return($m);
$m = $pos;
while(substr($m, 0, 1)) {
- if (!empty($this->urlmap[$m]))
+ if ($this->urlmap[$m])
break;
$m = dirname($m);
}

