diff options
author | rjones@thinkpad <rjones@thinkpad> | 2008-04-17 11:13:39 +0100 |
---|---|---|
committer | rjones@thinkpad <rjones@thinkpad> | 2008-04-17 11:13:39 +0100 |
commit | 5fb80987ddf0f8af6cd479964f1c5bb8340c7ba8 (patch) | |
tree | 6774d8d7c9fb2ec1b6f4b5913636f5e36af1dae2 /virt-top/virt_top_main.ml | |
parent | f9d99e63272520c19bddc9e4b47731d57e5658e2 (diff) | |
parent | f5f45d38269842b591a89ccaf2e6af7879d57aab (diff) | |
download | virt-top-5fb80987ddf0f8af6cd479964f1c5bb8340c7ba8.tar.gz virt-top-5fb80987ddf0f8af6cd479964f1c5bb8340c7ba8.tar.xz virt-top-5fb80987ddf0f8af6cd479964f1c5bb8340c7ba8.zip |
Merge.
Diffstat (limited to 'virt-top/virt_top_main.ml')
-rw-r--r--[-rwxr-xr-x] | virt-top/virt_top_main.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/virt-top/virt_top_main.ml b/virt-top/virt_top_main.ml index ba98e7e..4ab60ad 100755..100644 --- a/virt-top/virt_top_main.ml +++ b/virt-top/virt_top_main.ml @@ -21,6 +21,7 @@ open Curses +open Virt_top_gettext.Gettext open Virt_top (* Note: make sure we catch any exceptions and clean up the display. @@ -43,7 +44,7 @@ let error = true | exn -> if not script_mode then endwin (); - prerr_endline ("Error: " ^ Printexc.to_string exn); + prerr_endline (s_ "Error" ^ ": " ^ Printexc.to_string exn); true let () = |