997 |
Sys_error _ -> |
Sys_error _ -> |
998 |
(try Options.save message_file with _ -> ()) |
(try Options.save message_file with _ -> ()) |
999 |
| e -> |
| e -> |
1000 |
lprintf_nl (_b "Error %s loading message file %s") |
lprintf_nl (_b "[cMe] Error %s loading message file %s") |
1001 |
(Printexc2.to_string e) |
(Printexc2.to_string e) |
1002 |
(Options.options_file_name message_file); |
(Options.options_file_name message_file); |
1003 |
lprintf_nl (_b "Using default messages."); |
lprintf_nl (_b "[cMe] Using default messages."); |
1004 |
end |
end |
1005 |
) |
) |