nettika/phpmyadmin
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

bug #1824506 [profiling] Profile command repeated on older MySQL servers

Browse Source
This commit is contained in:
Marc Delisle
2007-11-02 17:34:58 +00:00
parent 1410002c86
commit a4be8e0efd
4 changed files with 26 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
libraries/common.inc.php
View File

@@ -906,11 +906,11 @@ if (! defined('PMA_MINIMUM_COMMON')) {
* (note: when $cfg['ServerDefault'] = 0, constant is not defined)
*/
if (defined('PMA_MYSQL_INT_VERSION') && PMA_MYSQL_INT_VERSION >= 50037 && isset($_REQUEST['profiling'])) {
$_SESSION['profiling'] = true;
if (PMA_profilingSupported() && isset($_REQUEST['profiling'])) {
$_SESSION['profiling'] = true;
} elseif (isset($_REQUEST['profiling_form'])) {
// the checkbox was unchecked
unset($_SESSION['profiling']);
// the checkbox was unchecked
unset($_SESSION['profiling']);
}
} // end if !defined('PMA_MINIMUM_COMMON')