DBG extension!

This commit is contained in:
Robin Johnson
2003-02-02 08:17:00 +00:00
parent 85abb3393b
commit e001f70760
6 changed files with 197 additions and 3 deletions

View File

@@ -21,11 +21,28 @@ if (isset($GLOBALS['userlink']) && $GLOBALS['userlink']) {
</html>
<?php
/**
* Generates profiling data if requested
*/
if (isset($GLOBALS['cfg']['DBG']['enable'])
&& $GLOBALS['cfg']['DBG']['enable']
&& isset($GLOBALS['cfg']['DBG']['profile']['enable'])
&& $GLOBALS['cfg']['DBG']['profile']['enable']) {
//run the basic setup code first
include('./libraries/dbg/setup.php3');
//if the setup ran fine, then do the profiling
if (isset($GLOBALS['DBG']) && $GLOBALS['DBG']) {
include('./libraries/dbg/profiling.php3');
dbg_dump_profiling_results();
}
}
/**
* Sends bufferized data
*/
if (isset($GLOBALS['cfg']['OBGzip']) && $GLOBALS['cfg']['OBGzip']
&& isset($GLOBALS['ob_mode']) && $GLOBALS['ob_mode']) {
PMA_outBufferPost($GLOBALS['ob_mode']);
&& isset($GLOBALS['ob_mode']) && $GLOBALS['ob_mode']) {
PMA_outBufferPost($GLOBALS['ob_mode']);
}
?>