diff options
-rw-r--r-- | db_create.php | 2 | ||||
-rw-r--r-- | db_structure.php | 2 | ||||
-rw-r--r-- | server_databases.php | 2 | ||||
-rw-r--r-- | server_status.php | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/db_create.php b/db_create.php index 2402705e3a..2bebe0e18d 100644 --- a/db_create.php +++ b/db_create.php @@ -14,7 +14,7 @@ $GLOBALS['js_include'][] = 'jquery/jquery-ui-1.8.16.custom.js'; require_once './libraries/mysql_charsets.lib.php'; if (!PMA_DRIZZLE) { - include './libraries/replication.inc.php'; + include_once './libraries/replication.inc.php'; } require './libraries/build_html_for_db.lib.php'; diff --git a/db_structure.php b/db_structure.php index 3baad46118..9120f9b51e 100644 --- a/db_structure.php +++ b/db_structure.php @@ -47,7 +47,7 @@ if (empty($is_info)) { include './libraries/db_info.inc.php'; if (!PMA_DRIZZLE) { - include './libraries/replication.inc.php'; + include_once './libraries/replication.inc.php'; } else { $server_slave_status = false; } diff --git a/server_databases.php b/server_databases.php index 0b01f4c1bc..ddab0d457f 100644 --- a/server_databases.php +++ b/server_databases.php @@ -12,7 +12,7 @@ require_once './libraries/common.inc.php'; require './libraries/server_common.inc.php'; if (!PMA_DRIZZLE) { - include './libraries/replication.inc.php'; + include_once './libraries/replication.inc.php'; } else { $replication_types = array(); $replication_info = null; diff --git a/server_status.php b/server_status.php index 6037038eef..3a891ba58c 100644 --- a/server_status.php +++ b/server_status.php @@ -407,7 +407,7 @@ if (PMA_DRIZZLE) { $server_master_status = false; $server_slave_status = false; } else { - include './libraries/replication.inc.php'; + include_once './libraries/replication.inc.php'; include_once './libraries/replication_gui.lib.php'; } |