Skip to contentSkip to conversation

Need to reset device model pid on reboot

PATCH New Arun Sharma 1 participant 1 message Aug 11, 2005

lore
Share & tools
lore

Arun Sharma

author
#0 lore raw

PATCH 8/15 Need to reset device model pid on reboot

Need to reset device model pid on reboot

Without this, xend will not spawn a new device model process after the reboot.

Signed-off-by Ke Yu <[email protected]>
Signed-off-by Arun Sharma <[email protected]>
tools/python/xen/xend/XendDomainInfo.py +1 -0
diff -r 6fb4a79e9f7a -r c463720c5439 tools/python/xen/xend/XendDomainInfo.py
@@ -642,6 +642,7 @@
                 pass
         if self.image:
             try:
+                self.device_model_pid = 0
                 self.image.destroy()
                 self.image = None
             except: