1544 |
CommonWeb.add_web_kind "server.met" (fun _ filename -> |
CommonWeb.add_web_kind "server.met" (fun _ filename -> |
1545 |
lprintf "FILE LOADED\n"; |
lprintf "FILE LOADED\n"; |
1546 |
let n = load_server_met filename in |
let n = load_server_met filename in |
1547 |
lprintf "%d SERVERS ADDED" n; lprint_newline (); |
lprintf "%d SERVERS ADDED\n" n; |
1548 |
); |
); |
1549 |
CommonWeb.add_web_kind "servers.met" (fun _ filename -> |
CommonWeb.add_web_kind "servers.met" (fun _ filename -> |
1550 |
lprintf "FILE LOADED\n"; |
lprintf "FILE LOADED\n"; |