ia64/xen-unstable

changeset 19439:6c316510ce73

xend: Save the state of PPCIs after hot-plug events.

Signed-off-by: Yosuke Iwamatsu <y-iwamatsu@ab.jp.nec.com>
author Keir Fraser <keir.fraser@citrix.com>
date Tue Mar 31 11:16:01 2009 +0100 (2009-03-31)
parents 453ebb3279e8
children 0f53202cb132
files tools/python/xen/xend/XendNode.py
line diff
     1.1 --- a/tools/python/xen/xend/XendNode.py	Tue Mar 31 11:13:56 2009 +0100
     1.2 +++ b/tools/python/xen/xend/XendNode.py	Tue Mar 31 11:16:01 2009 +0100
     1.3 @@ -363,6 +363,8 @@ class XendNode:
     1.4          ppci_uuid = saved_ppci_table.get(pci_dev.name, uuid.createString())
     1.5          XendPPCI(ppci_uuid, ppci_record)
     1.6  
     1.7 +        self.save_PPCIs()
     1.8 +
     1.9  
    1.10      def remove_PPCI(self, pci_name):
    1.11          # Update lspci info
    1.12 @@ -373,6 +375,8 @@ class XendNode:
    1.13          ppci_ref = XendPPCI.get_by_sbdf(domain, bus, slot, func)
    1.14          XendAPIStore.get(ppci_ref, "PPCI").destroy()
    1.15  
    1.16 +        self.save_PPCIs()
    1.17 +
    1.18  
    1.19      def add_PSCSI(self):
    1.20          # TODO