587 |
server_print s o; |
server_print s o; |
588 |
incr nb_servers; |
incr nb_servers; |
589 |
with e -> |
with e -> |
590 |
lprintf "Exception %s in server_print" |
lprintf "Exception %s in server_print\n" |
591 |
(Printexc2.to_string e); lprint_newline (); |
(Printexc2.to_string e); |
592 |
) !!servers; |
) !!servers; |
593 |
if use_html_mods o then Printf.bprintf buf "\\</table\\>\\</div\\>"; |
if use_html_mods o then Printf.bprintf buf "\\</table\\>\\</div\\>"; |
594 |
Printf.bprintf buf "Servers: %d known\n" !nb_servers; |
Printf.bprintf buf "Servers: %d known\n" !nb_servers; |