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 d8dab7a9f17315822e6c376e064c84611e212a77..20a2b81f0363338f3ae39e84bf1a5445b0423583 100644 (file)
--- a/libraries/lib.inc.php
+++ b/libraries/lib.inc.php
@@ -249,7 +249,7 @@
 
 
                // Load Slony if required
-               if ($_server_info['slony_support']) {
+               if (isset($_server_info['slony_support'])) {
                        include('./classes/plugins/Slony.php');
                        $slony = new Slony();
                }