undefined constant when ServerDefault == 0

2007-07-22 18:36:05 +00:00
parent c1d3c691c7
commit 7b9e296f67
1 changed files with 2 additions and 1 deletions
--- a/libraries/common.inc.php
+++ b/libraries/common.inc.php
@@ -867,9 +867,10 @@ if (! defined('PMA_MINIMUM_COMMON')) {

    /**
     * check if profiling was requested and remember it
+     * (note: when $cfg['ServerDefault'] = 0, constant is not defined)
     */

-    if (PMA_MYSQL_INT_VERSION >= 50037 && isset($_REQUEST['profiling'])) {
+    if (defined('PMA_MYSQL_INT_VERSION') && PMA_MYSQL_INT_VERSION >= 50037 && isset($_REQUEST['profiling'])) {
       $_SESSION['profiling'] = true;
    } elseif (isset($_REQUEST['profiling_form'])) {
       // the checkbox was unchecked