summaryrefslogtreecommitdiffstats
path: root/virt-ctrl/vc_domain_ops.ml
diff options
context:
space:
mode:
authorRichard W.M. Jones <rjones@redhat.com>2008-01-08 14:43:14 +0000
committerRichard W.M. Jones <rjones@redhat.com>2008-01-08 14:43:14 +0000
commitc296b68c99f8c22b0c7db1b072a6cd86f9ac3da9 (patch)
treec52962a7b8a22853b79298ba3a8821f9981bd437 /virt-ctrl/vc_domain_ops.ml
parent474e8b8e2e98b61d5d01a58f843b9338754ecf2f (diff)
downloadvirt-top-c296b68c99f8c22b0c7db1b072a6cd86f9ac3da9.tar.gz
virt-top-c296b68c99f8c22b0c7db1b072a6cd86f9ac3da9.tar.xz
virt-top-c296b68c99f8c22b0c7db1b072a6cd86f9ac3da9.zip
Type Vc_domain_ops.dops_callback_fn for clarity.
* virt-ctrl/vc_domain_ops.mli, virt-ctrl/vc_domain_ops.ml, virt-ctrl/vc_mainwindow.mli: Give a type name to the domain_ops callback type, for extra clarity.
Diffstat (limited to 'virt-ctrl/vc_domain_ops.ml')
-rw-r--r--virt-ctrl/vc_domain_ops.ml3
1 files changed, 3 insertions, 0 deletions
diff --git a/virt-ctrl/vc_domain_ops.ml b/virt-ctrl/vc_domain_ops.ml
index fbd7f28..74540be 100644
--- a/virt-ctrl/vc_domain_ops.ml
+++ b/virt-ctrl/vc_domain_ops.ml
@@ -67,6 +67,9 @@ let get_domain (tree : GTree.view) (model : GTree.tree_store)
prerr_endline (Libvirt.Virterror.to_string err);
None
+type dops_callback_fn =
+ GTree.view -> GTree.tree_store -> Vc_connections.columns -> unit -> unit
+
let start_domain tree model columns () =
match get_domain tree model columns with
| None -> ()