From decc0b5c830f54c3dadea97db6f85b44479002c6 Mon Sep 17 00:00:00 2001 From: Marc Delisle Date: Sun, 22 Jul 2007 18:36:05 +0000 Subject: [PATCH] undefined constant when ServerDefault == 0 --- libraries/common.inc.php | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/libraries/common.inc.php b/libraries/common.inc.php index 3e539a0e8..9c7a7eb7b 100644 --- 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