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