diff options
Diffstat (limited to 'virt-ctrl/virt_ctrl.ml')
-rw-r--r-- | virt-ctrl/virt_ctrl.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/virt-ctrl/virt_ctrl.ml b/virt-ctrl/virt_ctrl.ml index 1de68f4..b4a3159 100644 --- a/virt-ctrl/virt_ctrl.ml +++ b/virt-ctrl/virt_ctrl.ml @@ -29,4 +29,7 @@ let () = ~shutdown_domain:Vc_domain_ops.shutdown_domain; (* Enter the Gtk main loop. *) - GMain.main () + GMain.main (); + + (* Useful to catch memory bugs in the ocaml libvirt bindings. *) + Gc.compact () |