uuid plugin: also look in /sys/class/dmi for uuid

Recent Linux kernels store the uuid in /sys/class/dmi/id/product_uuid.

diff --git a/src/uuid.c b/src/uuid.c
index 223bfd544b8c680dd5c8722ba0dd484dcad07ec8..e837ca725db74274d4b12868f102a8c4ade6a1d5 100644 (file)
--- a/src/uuid.c
+++ b/src/uuid.c
@@ -192,10 +192,14 @@ uuid_get_local(void)
     if ((uuid = uuid_get_from_file(uuidfile ? uuidfile : "/etc/uuid")) != NULL)
         return (uuid);
 
+#if defined(__linux__)
+    if ((uuid = uuid_get_from_file("/sys/class/dmi/id/product_uuid")) != NULL)
+        return (uuid);
+#endif
+
 #if HAVE_LIBHAL_H
-    if ((uuid = uuid_get_from_hal()) != NULL) {
-        return uuid;
-    }
+    if ((uuid = uuid_get_from_hal()) != NULL)
+        return (uuid);
 #endif
 
     if ((uuid = uuid_get_from_dmidecode()) != NULL)