git.annexia.org
/
whenjobs.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Move string_of_time_t to Whenutils module.
[whenjobs.git]
/
daemon
/
daemon.ml
diff --git
a/daemon/daemon.ml
b/daemon/daemon.ml
index
42c32de
..
ddbb9cd
100644
(file)
--- a/
daemon/daemon.ml
+++ b/
daemon/daemon.ml
@@
-285,12
+285,6
@@
and delete_timer_group () =
Unixqueue.clear esys g;
timer_group := None
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 =
and run_job job =
(* Increment JOBSERIAL. *)
let serial =