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