diff options
| -rw-r--r-- | libraries/lib.inc.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/lib.inc.php b/libraries/lib.inc.php index f6db0e26..808b7803 100644 --- 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(); } |