undefined PMA_MYSQL_INT_VERSION when no default server is set

This commit is contained in:
Marc Delisle
2007-11-25 12:58:41 +00:00
parent 95ef0e2d28
commit 2c0b19a1cf
2 changed files with 2 additions and 1 deletions

View File

@@ -1235,7 +1235,7 @@ function PMA_profilingSupported() {
// 5.0.37 has profiling but for example, 5.1.20 does not
// (avoid a trip to the server for MySQL before 5.0.37)
// and do not set a constant as we might be switching servers
if (PMA_MYSQL_INT_VERSION >= 50037 && PMA_DBI_fetch_value("SHOW VARIABLES LIKE 'profiling'")) {
if (defined('PMA_MYSQL_INT_VERSION') && PMA_MYSQL_INT_VERSION >= 50037 && PMA_DBI_fetch_value("SHOW VARIABLES LIKE 'profiling'")) {
return true;
} else {
return false;