+case $BACKEND in bdb | hdb)
+db_stat=
+for path in `echo "$PATH" | sed -e 's/:/ /g'`; do
+ if test -f "$path/db_stat" && \
+ "$path/db_stat" -E -h $PRODDIR/db > /dev/null 2>&1
+ then
+ db_stat="$path/db_stat"
+ break
+ fi
+done
+
+if test -z "$db_stat" ; then
+ echo "Could not find a working db_stat in PATH!"