Fix regression where slony menu is always shown.

Regression from patch 36cdb2e40b34a2ca9e2e74db5748f8170f029aad "Fix a
small PHP warning when Slony conf parameters are not set".

diff --git a/libraries/lib.inc.php b/libraries/lib.inc.php
index f6db0e26c7043c326ec9e70c7c8165d5e589875f..808b780337b11675912aa0983e8b0f4ea233e8f5 100644 (file)
--- a/libraries/lib.inc.php
+++ b/libraries/lib.inc.php
@@ -249,7 +249,7 @@
 
 
                // Load Slony if required
-               if (isset($_server_info['slony_support'])) {
+               if (isset($_server_info['slony_support']) && $_server_info['slony_support']) {
                        include('./classes/plugins/Slony.php');
                        $slony = new Slony();
                }