[PATCH] Fix display of paths for device-mapper device in bootloader widget.

[David Lehman <dlehman redhat com>]

---
 iw/osbootwidget.py |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)

diff --git a/iw/osbootwidget.py b/iw/osbootwidget.py
index 37a5eba..9893fb9 100644
--- a/iw/osbootwidget.py
+++ b/iw/osbootwidget.py
@@ -349,6 +349,7 @@ class OSBootWidget:
 
         for dev in keys:
             (label, longlabel, fstype) = self.imagelist[dev]
+            device = self.storage.devicetree.getDeviceByName(dev)
             if self.blname == "GRUB":
                 theLabel = longlabel
             else:
@@ -365,9 +366,10 @@ class OSBootWidget:
             if rootDev and rootDev.name == dev:
 		isRoot = 1
 
+            devPath = getattr(device, "path", "/dev/%s" % dev)
             iter = self.osStore.append()
             self.osStore.set_value(iter, 1, theLabel)
-            self.osStore.set_value(iter, 2, "/dev/%s" % (dev,))
+            self.osStore.set_value(iter, 2, devPath)
             self.osStore.set_value(iter, 3, isRoot)
             if self.defaultDev == dev:
                 self.osStore.set_value(iter, 0, True)
-- 
1.6.0.6