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