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 7e2d1c2273aeef4d457091c8e0ce1d5ea3db892a..5d7ed5b57b064e60fea1c0392581b25c5ef543c6 100644 (file)
--- a/libraries/lib.inc.php
+++ b/libraries/lib.inc.php
@@ -220,7 +220,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();
                }