From a6ffc4f3ece00f2336efc1b2732efb3574b1ef82 Mon Sep 17 00:00:00 2001
From: Romain Neutron <imprec@gmail.com>
Date: Wed, 11 Apr 2012 14:35:56 +0200
Subject: [PATCH] Fix ServerName load

---
 lib/classes/registry.class.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/lib/classes/registry.class.php b/lib/classes/registry.class.php
index 27691800ac..e3715a641e 100644
--- a/lib/classes/registry.class.php
+++ b/lib/classes/registry.class.php
@@ -98,6 +98,11 @@ class registry implements registryInterface
       }
       foreach ($rs as $row)
       {
+        if(in_array($row['key'], array('GV_ServerName', 'GV_debug', 'GV_maintenance')))
+        {
+          continue;
+        }
+
         switch ($row['type'])
         {
           case self::TYPE_BOOLEAN: