-(* virt-manager-like graphical management tool.
+(* virt-ctrl: A graphical management tool.
(C) Copyright 2007 Richard W.M. Jones, Red Hat Inc.
http://libvirt.org/
open Printf
-let title = "Virtual Machine Manager"
+let title = "Virtual Control"
let utf8_copyright = "\194\169"
GToolbox.message_box
~title
~icon
- ("Virtual machine manager (OCaml version) by\n" ^
+ ("Virtualization control tool (virt-ctrl) by\n" ^
"Richard W.M. Jones (rjones@redhat.com).\n\n" ^
- "Copyright " ^ utf8_copyright ^ " 2007 Red Hat Inc.\n\n" ^
+ "Copyright " ^ utf8_copyright ^ " 2007-2008 Red Hat Inc.\n\n" ^
"Libvirt version: " ^ virt_version ^ "\n" ^
"Gtk toolkit version: " ^ gtk_version)
GtkSignal.user_handler :=
fun exn ->
let label = string_of_exn exn in
+ prerr_endline label;
let title = "Error" in
let icon = GMisc.image () in
icon#set_stock `DIALOG_ERROR;
(* Make a timeout function which is called once per second. *)
let state = ref initial_state in
let callback () =
- state := Vc_connections.repopulate tree model columns !state;
+ (* Gc.compact is generally not safe in lablgtk programs, but
+ * is explicitly allowed in timeouts (see lablgtk README).
+ * This ensures memory is compacted regularly, but is also an
+ * excellent way to catch memory bugs in the ocaml libvirt bindings.
+ *)
+ Gc.compact ();
+
+ (* Ugh: Bug in lablgtk causes a segfault if a timeout raises an
+ * exception. Catch and print exceptions instead.
+ *)
+ (try state := Vc_connections.repopulate tree model columns !state
+ with exn -> prerr_endline (Printexc.to_string exn));
+
true
in
let timeout_id = GMain.Timeout.add ~ms:1000 ~callback in