[gnome-disk-utility] Export :device-media-detection-time property in the API

[David Zeuthen <davidz src gnome org>]

commit 7debd2281b19e19cb126439cf23958c7854db869
Author: David Zeuthen <davidz redhat com>
Date:   Fri May 1 16:03:09 2009 -0400

    Export :device-media-detection-time property in the API
---
 src/gdu/gdu-device.c |    9 +++++++++
 src/gdu/gdu-device.h |    1 +
 2 files changed, 10 insertions(+), 0 deletions(-)

diff --git a/src/gdu/gdu-device.c b/src/gdu/gdu-device.c
index 045441c..fa00c69 100644
--- a/src/gdu/gdu-device.c
+++ b/src/gdu/gdu-device.c
@@ -47,6 +47,7 @@ typedef struct
         char *native_path;
 
         guint64  device_detection_time;
+        guint64  device_media_detection_time;
         gint64   device_major;
         gint64   device_minor;
         char    *device_file;
@@ -179,6 +180,8 @@ collect_props (const char *key, const GValue *value, DeviceProperties *props)
 
         else if (strcmp (key, "device-detection-time") == 0)
                 props->device_detection_time = g_value_get_uint64 (value);
+        else if (strcmp (key, "device-media-detection-time") == 0)
+                props->device_media_detection_time = g_value_get_uint64 (value);
         else if (strcmp (key, "device-major") == 0)
                 props->device_major = g_value_get_int64 (value);
         else if (strcmp (key, "device-minor") == 0)
@@ -745,6 +748,12 @@ gdu_device_get_detection_time (GduDevice *device)
         return device->priv->props->device_detection_time;
 }
 
+guint64
+gdu_device_get_media_detection_time (GduDevice *device)
+{
+        return device->priv->props->device_media_detection_time;
+}
+
 dev_t
 gdu_device_get_dev (GduDevice *device)
 {
diff --git a/src/gdu/gdu-device.h b/src/gdu/gdu-device.h
index 9ed4e95..69580d1 100644
--- a/src/gdu/gdu-device.h
+++ b/src/gdu/gdu-device.h
@@ -69,6 +69,7 @@ GduPool    *gdu_device_get_pool              (GduDevice   *device);
 
 dev_t gdu_device_get_dev (GduDevice *device);
 guint64 gdu_device_get_detection_time (GduDevice *device);
+guint64 gdu_device_get_media_detection_time (GduDevice *device);
 const char *gdu_device_get_device_file (GduDevice *device);
 guint64 gdu_device_get_size (GduDevice *device);
 guint64 gdu_device_get_block_size (GduDevice *device);