#!/bin/sh
echo Stopping Webmin server in /usr/ports/sysutils/webmin/work/webmin-0.79
kill `cat /var/webmin/miniserv.pid`
