58 |
CommonWeb.load_web_infos () |
CommonWeb.load_web_infos () |
59 |
|
|
60 |
let minute_timer () = |
let minute_timer () = |
61 |
|
CommonShared.shared_check_files (); |
62 |
CommonUploads.upload_credit_timer (); |
CommonUploads.upload_credit_timer (); |
63 |
CommonInteractive.force_download_quotas (); |
CommonInteractive.force_download_quotas (); |
64 |
CommonResult.dummy_result.result_time <- last_time (); |
CommonResult.dummy_result.result_time <- last_time (); |
75 |
let hourly_timer timer = |
let hourly_timer timer = |
76 |
incr CommonWeb.hours; |
incr CommonWeb.hours; |
77 |
if !CommonWeb.hours mod 24 = 0 then do_daily (); |
if !CommonWeb.hours mod 24 = 0 then do_daily (); |
|
CommonShared.shared_check_files (); |
|
78 |
if !CommonWeb.hours mod !!compaction_delay = 0 then Gc.compact (); |
if !CommonWeb.hours mod !!compaction_delay = 0 then Gc.compact (); |
79 |
DriverControlers.check_calendar (); |
DriverControlers.check_calendar (); |
80 |
CommonWeb.connect_redirector (); |
CommonWeb.connect_redirector (); |