#! /bin/sh
# run mini_httpd to export .

d=$HOME/tmp
port=${port:-8080}
me=`basename $0`
logf=$d/$me.log
pidf=$d/$me.pid

echo exporting . logfile=$logf pidfile=$pidf 1>&2

exec /opt/bin/mini_httpd -C /dev/null -p $port \
    -d . \
    -l $logf \
    -i $pidf