diff options
Diffstat (limited to 'virt-ctrl/virt_ctrl.ml')
| -rw-r--r-- | virt-ctrl/virt_ctrl.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/virt-ctrl/virt_ctrl.ml b/virt-ctrl/virt_ctrl.ml index b4a3159..a9740c1 100644 --- a/virt-ctrl/virt_ctrl.ml +++ b/virt-ctrl/virt_ctrl.ml @@ -26,7 +26,8 @@ let () = ~start_domain:Vc_domain_ops.start_domain ~pause_domain:Vc_domain_ops.pause_domain ~resume_domain:Vc_domain_ops.resume_domain - ~shutdown_domain:Vc_domain_ops.shutdown_domain; + ~shutdown_domain:Vc_domain_ops.shutdown_domain + ~open_domain_details:Vc_domain_ops.open_domain_details; (* Enter the Gtk main loop. *) GMain.main (); |