From 09b06503e6b5be1501d9761c10cf61f15812e55b Mon Sep 17 00:00:00 2001
From: Jan Schneider <jan@horde.org>
Date: Thu, 12 Aug 2010 10:26:43 +0200
Subject: [PATCH] Use uuid extension if available.

---
 framework/Support/lib/Horde/Support/Uuid.php | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/framework/Support/lib/Horde/Support/Uuid.php b/framework/Support/lib/Horde/Support/Uuid.php
index 9fb0415a8..161b14c79 100644
--- a/framework/Support/lib/Horde/Support/Uuid.php
+++ b/framework/Support/lib/Horde/Support/Uuid.php
@@ -35,7 +35,11 @@ class Horde_Support_Uuid
      */
     public function __construct()
     {
-        $this->generate();
+        if (extension_loaded('uuid')) {
+            $this->_uuid = uuid_create();
+        } else {
+            $this->generate();
+        }
     }
 
     /**
-- 
2.11.0