diff options
author | Piotr Przybylski <piotrprz@gmail.com> | 2011-08-24 00:48:14 +0400 |
---|---|---|
committer | Piotr Przybylski <piotrprz@gmail.com> | 2011-08-24 00:48:14 +0400 |
commit | 8cd8760256925aecc00de01cc0e5bfc987d128b1 (patch) | |
tree | 9dc671c724ee308da0d8f6ddb193e51b83fa8eb2 /server_replication.php | |
parent | 4cf5fe79978bb4bbddfc0002c83926cead658587 (diff) |
Create PMA_is_system_schema() function which checks whether current database server treats it as a system schema
Diffstat (limited to 'server_replication.php')
-rw-r--r-- | server_replication.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server_replication.php b/server_replication.php index c2fa5550ab..59d72f7005 100644 --- a/server_replication.php +++ b/server_replication.php @@ -113,7 +113,7 @@ if (isset($GLOBALS['sr_take_action'])) { $tmp_alldbs = PMA_DBI_query('SHOW DATABASES;', $src_link); while ($tmp_row = PMA_DBI_fetch_row($tmp_alldbs)) { - if ($tmp_row[0] == 'information_schema') { + if (PMA_is_system_schema($tmp_row[0])) { continue; } if (count($do_db) == 0) { |