449 |
(* print *) |
(* print *) |
450 |
(* *) |
(* *) |
451 |
(*************************************************************************) |
(*************************************************************************) |
452 |
|
|
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 |
593 |
nindirect_per_queue.(i) <- nindirect_per_queue.(i) + !nindirect; |
nindirect_per_queue.(i) <- nindirect_per_queue.(i) + !nindirect; |
594 |
ninvalid_per_queue.(i) <- ninvalid_per_queue.(i) + !ninvalid; |
ninvalid_per_queue.(i) <- ninvalid_per_queue.(i) + !ninvalid; |
595 |
nsources_per_queue.(i) <- nsources_per_queue.(i) + !nsources; |
nsources_per_queue.(i) <- nsources_per_queue.(i) + !nsources; |
596 |
|
|
597 |
done; (* end Queues *) |
done; (* end Queues *) |
598 |
|
|
599 |
if output_type = HTML then |
if output_type = HTML then |
638 |
Printf.bprintf buf "\\</tr\\>\n"; |
Printf.bprintf buf "\\</tr\\>\n"; |
639 |
end |
end |
640 |
); |
); |
641 |
|
|
642 |
(if !aninvalid <> 0 then |
(if !aninvalid <> 0 then |
643 |
begin |
begin |
644 |
html_tr_two (); |
html_tr_two (); |
674 |
end |
end |
675 |
else |
else |
676 |
begin |
begin |
677 |
|
|
678 |
if output_type = HTML then |
if output_type = HTML then |
679 |
begin |
begin |
680 |
html_tr_one (); |
html_tr_one (); |