From b54ef7216df20f559f6280094a55bb661fd559cb Mon Sep 17 00:00:00 2001
From: Cole Robinson <crobinso@redhat.com>
Date: Wed, 1 Jun 2011 10:20:50 -0400
Subject: [PATCH] console: spice: Handle older spice-gtk desktop resolution

---
 src/virtManager/console.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/virtManager/console.py b/src/virtManager/console.py
index 2c93e641b..1a49b0df9 100644
--- a/src/virtManager/console.py
+++ b/src/virtManager/console.py
@@ -476,7 +476,8 @@ class SpiceViewer(Viewer):
             return
 
     def get_desktop_resolution(self):
-        if not self.display_channel:
+        if (not self.display_channel or
+            not has_property(self.display_channel, "width")):
             return None
         return self.display_channel.get_properties("width", "height")