From b92f6d57e7da53d93dbdb893f1471d57b4371fc7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= Date: Wed, 19 Sep 2012 13:17:49 +0200 Subject: [PATCH] Document shutdown handler and rename it --- libraries/dbi/drizzle-wrappers.lib.php | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/libraries/dbi/drizzle-wrappers.lib.php b/libraries/dbi/drizzle-wrappers.lib.php index 3f58043849..d4d2193e16 100644 --- a/libraries/dbi/drizzle-wrappers.lib.php +++ b/libraries/dbi/drizzle-wrappers.lib.php @@ -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) {