1.1 --- a/tools/libxc/xc_domain.c	Fri Aug 31 14:14:14 2007 +0100
     1.2 +++ b/tools/libxc/xc_domain.c	Fri Aug 31 15:43:28 2007 +0100
     1.3 @@ -55,10 +55,14 @@ int xc_domain_unpause(int xc_handle,
     1.4  int xc_domain_destroy(int xc_handle,
     1.5                        uint32_t domid)
     1.6  {
     1.7 +    int ret;
     1.8      DECLARE_DOMCTL;
     1.9      domctl.cmd = XEN_DOMCTL_destroydomain;
    1.10      domctl.domain = (domid_t)domid;
    1.11 -    return do_domctl(xc_handle, &domctl);
    1.12 +    do {
    1.13 +        ret = do_domctl(xc_handle, &domctl);
    1.14 +    } while ( ret && (errno == EAGAIN) );
    1.15 +    return ret;
    1.16  }
    1.17  
    1.18  int xc_domain_shutdown(int xc_handle,