954 |
|
|
955 |
let print_localtime () = |
let print_localtime () = |
956 |
let t = Unix.localtime (Unix.time ()) in |
let t = Unix.localtime (Unix.time ()) in |
957 |
let { Unix.tm_mon = tm_mon; Unix.tm_mday = tm_mday; Unix.tm_hour = tm_hour; Unix.tm_min = tm_min; Unix.tm_sec = tm_sec } = t in |
let { Unix.tm_year = tm_year; Unix.tm_mon = tm_mon; Unix.tm_mday = tm_mday; Unix.tm_hour = tm_hour; Unix.tm_min = tm_min; Unix.tm_sec = tm_sec } = t in |
958 |
lprintf_nl " on localtime: %2d/%2d, %02d:%02d:%02d" tm_mday (tm_mon+1) tm_hour tm_min tm_sec |
lprintf "%4d/%2d/%2d, %02d:%02d:%02d: " (tm_year+1900) (tm_mon+1) tm_mday tm_hour tm_min tm_sec |
959 |
|
|
960 |
|
|
961 |
let new_activity () = { |
let new_activity () = { |