#!/bin/sh
echo Stopping Webmin server in /usr/local/lib/webmin
pidfile=`grep "^pidfile=" /usr/local/etc/webmin/miniserv.conf | sed -e 's/pidfile=//g'`
kill `cat $pidfile`