Am Mittwoch den, 13. November 2002, um 07:43, schrieb Carlo Smith:

> Working on a bash script to restart a service when needed but now need 
> to kill a process that doesn't have a pid file (kill -HUP cat xxx.pid)
>
> How do i go about this ?

You could run your services under control of daemontools (it is in 
pkgsrc).

/Markus.