diff -r f33328217eee tools/python/xen/xend/XendDomainInfo.py --- a/tools/python/xen/xend/XendDomainInfo.py Mon Mar 10 22:51:57 2008 +0000 +++ b/tools/python/xen/xend/XendDomainInfo.py Tue Mar 11 15:46:37 2008 +0900 @@ -2104,7 +2104,7 @@ class XendDomainInfo: self.state_updated.acquire() try: while self._stateGet() in (DOM_STATE_RUNNING,DOM_STATE_PAUSED): - self.state_updated.wait() + self.state_updated.wait(timeout=1.0) finally: self.state_updated.release()