debuggers.hg

changeset 12699:2e5291248789

find changesets by author, revision, files, or words in the commit message
Fix registration on managed domains on xend restart.

Signed-off-by: Ewan Mellor <ewan@xensource.com>
author Ewan Mellor <ewan@xensource.com>
date Thu Nov 30 19:11:51 2006 +0000 (2006-11-30)
parents 5091a9a55d86
children fbfbc6ed47d9
files tools/python/xen/xend/XendDomain.py
line diff
     1.1 --- a/tools/python/xen/xend/XendDomain.py	Thu Nov 30 18:44:55 2006 +0000
     1.2 +++ b/tools/python/xen/xend/XendDomain.py	Thu Nov 30 19:11:51 2006 +0000
     1.3 @@ -191,6 +191,8 @@ class XendDomain:
     1.4                          # instantiate domain if not started.
     1.5                          new_dom = XendDomainInfo.createDormant(dom)
     1.6                          self._managed_domain_register(new_dom)
     1.7 +                    else:
     1.8 +                        self._managed_domain_register(running_dom)
     1.9                  except Exception:
    1.10                      log.exception("Failed to create reference to managed "
    1.11                                    "domain: %s" % dom_name)