#!/bin/sh ps -ax|grep serv.pl|grep -v grep |awk '{print $1}' >/tmp/webmin-chk.pid nou_pid=`cat /tmp/webmin-chk.pid` start_pid=`cat /var/webmin/miniserv.pid` if [ "$nou_pid" != "$start_pid" ] then /etc/webmin/start fi