38
38
Calendar.Period.make 0 0 0 hh mm ss
40
40
Calendar.Period.second (int_of_string period) in
42
47
Calendar.add (Calendar.now ()) period
54
64
(* Convert to a time_t. Note that we compare this against
55
65
* Unix.gettimeofday in the main module, so this must be returned as