[gnome-boxes] installer-media: Make use of new udev properties

[Zeeshan Ali Khattak <zeeshanak src gnome org>]

commit 37a4ac14e19b11833f8707696272427fc223d492
Author: Zeeshan Ali (Khattak) <zeeshanak gnome org>
Date:   Tue Feb 19 04:19:54 2013 +0200

    installer-media: Make use of new udev properties
    
    This should have been part of 32001c4eb950a4b5301d53762a7aff7b139e153f.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=694141

 src/media-manager.vala |    7 ++++---
 1 files changed, 4 insertions(+), 3 deletions(-)
---
diff --git a/src/media-manager.vala b/src/media-manager.vala
index b6c71ca..090c54b 100644
--- a/src/media-manager.vala
+++ b/src/media-manager.vala
@@ -76,11 +76,12 @@ private class Boxes.MediaManager : Object {
 
         // First HW media
         var enumerator = new GUdev.Enumerator (client);
-        enumerator.add_match_property ("OSINFO_BOOTABLE", "1");
+        // We don't want to deal with partitions to avoid duplicate medias
+        enumerator.add_match_property ("DEVTYPE", "disk");
 
         foreach (var device in enumerator.execute ()) {
-            if (device.get_property ("DEVTYPE") != "disk")
-                // We don't want to deal with partitions to avoid duplicate medias
+            if (device.get_property ("ID_FS_BOOT_SYSTEM_ID") == null &&
+                !device.get_property_as_boolean ("OSINFO_BOOTABLE"))
                 continue;
 
             var path = device.get_device_file ();