
cron.pl -- Schedule HTTP server maintenance tasksThis module deals with scheduling low frequency maintenance tasks to run at specified time stamps. The jobs are scheduled on the wall clock and thus the interval is kept over server restarts.
http_schedule_maintenance(+When, :Goal) is det
This must be used with a timer that broadcasts a
maintenance(_,_) message (see broadcast/1). Such a timer is part
of library(http/http_unix_daemon).