Frank Barknecht wrote: > This looks, well, not nice, but working and better than no precautions > the way I went. As I'm not root on the server, I can't do the inittab > stuff, but I can do cronjobs. And if crond dies, some other people > will shout before me...
Alright, look in your WebKit/webkit file, find out what your PID_FILE is and set up a cronjob once a minute: if ! ps `cat /var/run/webkit.pid` >& /dev/null; then ~frank/webkit; fi -- Bill Eldridge Radio Free Asia [EMAIL PROTECTED] _______________________________________________________________ Have big pipes? SourceForge.net is looking for download mirrors. We supply the hardware. You get the recognition. Email Us: [EMAIL PROTECTED] _______________________________________________ Webware-discuss mailing list [EMAIL PROTECTED] https://lists.sourceforge.net/lists/listinfo/webware-discuss
