Embed Notice
HTML Code
Corresponding Notice
- Embed this notice
Peter Wemm (karinjiri@soc.crashed.org)'s status on Thursday, 30-Jan-2025 04:05:31 JST Peter Wemm
I wasn't entirely kidding. Grossly oversimplifying:
*/10 * * * * /path/restartcron
and restartcron script:
killall restartcron
sleep 660 # 11 minutes
service cron restart
I used something like it decades ago on AT&T SVR4.0. The cron it came with used the unreliable signal API and occasionally died in the signal race.
Or I could do the proper thing and add some monitoring.