src/Tools/WWW_Find/etc/settings

more explicit error message;
convert/revert range;
tuned;

# -*- shell-script -*- :mode=shellscript:

LIGHTTPD="/usr/sbin/lighttpd"

WWWFINDDIR="$COMPONENT"
WWWCONFIG="$WWWFINDDIR/lighttpd.conf"

ISABELLE_TOOLS="$ISABELLE_TOOLS:$WWWFINDDIR/lib/Tools"