X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=daemon%2Fdaemon.ml;fp=daemon%2Fdaemon.ml;h=ddbb9cd9d6ab84c0b978db21482e2c80c498c8ce;hb=adc311d69459345a9ce23864d7aa41a7a6b97b42;hp=42c32dee7bc10df44adbc2b1b7cb253d102d7cf3;hpb=b139baf5b616159972b0412a1794ac9e6e513196;p=whenjobs.git diff --git a/daemon/daemon.ml b/daemon/daemon.ml index 42c32de..ddbb9cd 100644 --- a/daemon/daemon.ml +++ b/daemon/daemon.ml @@ -285,12 +285,6 @@ and delete_timer_group () = Unixqueue.clear esys g; timer_group := None -and string_of_time_t t = - let tm = gmtime t in - sprintf "%04d-%02d-%02d %02d:%02d:%02d UTC" - (1900+tm.tm_year) (1+tm.tm_mon) tm.tm_mday - tm.tm_hour tm.tm_min tm.tm_sec - and run_job job = (* Increment JOBSERIAL. *) let serial =