a9ec2bb2c3
Instead of checking if domain is still running/paused, try to kill it anyway and ignore appropriate exception. Otherwise domain could die before the check and killing. |
||
---|---|---|
.. | ||
mix | ||
__init__.py | ||
adminvm.py | ||
appvm.py | ||
dispvm.py | ||
qubesvm.py | ||
standalonevm.py | ||
templatevm.py |