Document shutdown handler and rename it

This commit is contained in:
Michal Čihař 2012-09-19 13:17:49 +02:00
parent 7fe1d63089
commit b92f6d57e7

View File

@ -15,13 +15,19 @@ if (! defined('PHPMYADMIN')) {
exit;
}
// TODO: drizzle module segfaults while freeing resources, often.
// This allows at least for some development
function _drizzle_shutdown_flush()
/**
* Workaround for crashing module
*
* @return void
*
* @todo drizzle module segfaults while freeing resources, often.
* This allows at least for some development
*/
function PMA_drizzleShutdownFlush()
{
flush();
}
register_shutdown_function('_drizzle_shutdown_flush');
register_shutdown_function('PMA_drizzleShutdownFlush');
function _dlog_argstr($args)
{