#!/bin/sh
# This shell script runs a "personal" WAIS server on port 5280
# It assumes that waisserver is in your path, that you have built
# some databases with waisindex in the ~/wais-database directory, and
# that you want a log file called server.log in the same directory
#
waisserver -p 5280 -d $HOME/wais-database -e $HOME/wais-database/server.log&