[virt-tools-list] [virt-manager PATCH] virt-manager: show the manager when using a wrong domain id

[Giuseppe Scrivano]

Cole Robinson <crobinso at redhat.com> writes:

>> diff --git a/virtManager/engine.py b/virtManager/engine.py
>> index 4a9799d..8e9caeb 100644
>> --- a/virtManager/engine.py
>> +++ b/virtManager/engine.py
>> @@ -904,6 +904,7 @@ class vmmEngine(vmmGObject):
>>           if not vm:
>>               src.err.show_err("%s does not have VM '%s'" %
>>                   (uri, clistr), modal=True)
>> +            self.exit_app(src.err)
>>               return
>>
>>           self._show_vm_helper(src, uri, vm, page, True)
>>
>> Thanks,
>> Giuseppe
>>
>
> ACK

pushed.

Giuseppe