[gparted] Ensure DMRaid /dev entries are created before using named devices

[Curtis Gedak <gedakc src gnome org>]

commit 23b5ba4e4e45a384038f6c25a94715d1ff733a79
Author: Mike Fleetwood <mike fleetwood googlemail com>
Date:   Tue Oct 6 17:05:33 2015 +0100

    Ensure DMRaid /dev entries are created before using named devices
    
    For probed DMRaid devices (when not using libparted DMRaid support)
    GParted waits up to 1 second for udev to have processed all events and
    created the /dev entries after starting each DMRaid array.  This was
    added by this commit from 2009-09-02:
        e7352a5000ddfc7666861e3e8ef56b88510b449d
        Ensure /dev file system device entries created before adding device
    
    Do the same for devices named on the command line too.

 src/GParted_Core.cc |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/GParted_Core.cc b/src/GParted_Core.cc
index 6e06077..5f51875 100644
--- a/src/GParted_Core.cc
+++ b/src/GParted_Core.cc
@@ -247,6 +247,7 @@ void GParted_Core::set_devices_thread( std::vector<Device> * pdevices )
                             dmraid .is_dmraid_device( device_paths[t] ) )
                        {
                                dmraid .create_dev_map_entries( dmraid .get_dmraid_name( device_paths [t] ) ) 
;
+                               settle_device( 1 );
                        }
 #endif