576 |
let name = !!global_login in |
let name = !!global_login in |
577 |
let len = String.length name in |
let len = String.length name in |
578 |
if len < 32 then name else String.sub name 0 32 |
if len < 32 then name else String.sub name 0 32 |
579 |
|
|
580 |
|
(************************************************************* |
581 |
|
|
582 |
|
Define a function to be called when the "mem_stats" command |
583 |
|
is used to display information on structure footprint. |
584 |
|
|
585 |
|
**************************************************************) |
586 |
|
|
587 |
|
let _ = |
588 |
|
(* let network_info = CommonNetwork.network_info network in *) |
589 |
|
let name = network.network_name ^ "Globals" in |
590 |
|
Heap.add_memstat name (fun level buf -> |
591 |
|
Printf.bprintf buf "Number of old files: %d\n" (List.length !!old_files |
592 |
|
) |
593 |
|
); |
594 |
|
|