Re: [Xen-devel] Shouldn't XendDomainInfo.py: _releaseDevices call destroyDevice?

[Keir Fraser <keir@xxxxxxxxxxxxx>]

This is how it looks to me too! Unless Ewan or Tom knows better, this is
probably worth trying out. It would be a neater solution for the console
backend cleanup than your hacky patch, if it works.

 -- Keir

On 16/5/07 13:04, "Petersson, Mats" <Mats.Petersson@xxxxxxx> wrote:

> It seems like something is missing in the _releaseDevices, and I think
> the correct way to fix it would be to call destroyDevice - is there any
> reason I shouldn't use that function, rather than the current method of
> removing (some of) the device info from XenStore in _releaseDevices?
> 
> --
> Mats
> 
> 
> 
> _______________________________________________
> Xen-devel mailing list
> Xen-devel@xxxxxxxxxxxxxxxxxxx
> http://lists.xensource.com/xen-devel


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel