virt-ctrl/vc_domain_ops.mli

   1 (* virt-manager-like graphical management tool.
   2    (C) Copyright 2007 Richard W.M. Jones, Red Hat Inc.
   3    http://libvirt.org/
   4
   5    This program is free software; you can redistribute it and/or modify
   6    it under the terms of the GNU General Public License as published by
   7    the Free Software Foundation; either version 2 of the License, or
   8    (at your option) any later version.
   9
  10    This program is distributed in the hope that it will be useful,
  11    but WITHOUT ANY WARRANTY; without even the implied warranty of
  12    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13    GNU General Public License for more details.
  14
  15    You should have received a copy of the GNU General Public License
  16    along with this program; if not, write to the Free Software
  17    Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  18
  19    Domain operations buttons.
  20 *)
  21
  22 val start_domain : GTree.view -> GTree.tree_store -> Vc_connections.columns -> unit -> unit
  23 val pause_domain : GTree.view -> GTree.tree_store -> Vc_connections.columns -> unit -> unit
  24 val resume_domain : GTree.view -> GTree.tree_store -> Vc_connections.columns -> unit -> unit
  25 val shutdown_domain : GTree.view -> GTree.tree_store -> Vc_connections.columns -> unit -> unit