diff options
Diffstat (limited to 'virt-ctrl/vc_domain_ops.mli')
| -rw-r--r-- | virt-ctrl/vc_domain_ops.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/virt-ctrl/vc_domain_ops.mli b/virt-ctrl/vc_domain_ops.mli index 661ede3..38a2015 100644 --- a/virt-ctrl/vc_domain_ops.mli +++ b/virt-ctrl/vc_domain_ops.mli @@ -32,3 +32,4 @@ val start_domain : dops_callback_fn val pause_domain : dops_callback_fn val resume_domain : dops_callback_fn val shutdown_domain : dops_callback_fn +val open_domain_details : dops_callback_fn |