453 |
|
|
454 |
let print buf output_type = |
let print buf output_type = |
455 |
let timer = Unix.localtime (float_of_int(last_time ()) +. 1000000000.) in |
let timer = Unix.localtime (float_of_int(last_time ()) +. 1000000000.) in |
|
let time_to_string time = |
|
|
let h0 = string_of_int(time.Unix.tm_hour ) in |
|
|
let m0 = string_of_int(time.Unix.tm_min ) in |
|
|
let s0 = string_of_int(time.Unix.tm_sec ) in |
|
|
(if String.length h0 = 2 then h0 else "0"^h0) |
|
|
^":"^ (if String.length m0 = 2 then m0 else "0"^m0) |
|
|
^":"^ (if String.length s0 = 2 then s0 else "0"^s0) |
|
|
in |
|
456 |
let pos_to_string v = |
let pos_to_string v = |
457 |
(if v > 0 then string_of_int(v) else "-") |
(if v > 0 then string_of_int(v) else "-") |
458 |
in |
in |
467 |
Printf.bprintf buf "\\<tr\\>"; |
Printf.bprintf buf "\\<tr\\>"; |
468 |
html_mods_td buf [ |
html_mods_td buf [ |
469 |
("", "srh", "Statistics on sources "); |
("", "srh", "Statistics on sources "); |
470 |
("", "srh", "@ " ^(time_to_string timer)); |
("", "srh", "@ " ^(Date.time_to_string_short timer)); |
471 |
("", "srh", "File sources per manager queue"); ]; |
("", "srh", "File sources per manager queue"); ]; |
472 |
Printf.bprintf buf "\\</tr\\>\\</table\\>\\</div\\>\n"; |
Printf.bprintf buf "\\</tr\\>\\</table\\>\\</div\\>\n"; |
473 |
|
|