| // +----------------------------------------------------------------------+ // // $Id$ /** * Replace ob_flush() * * @category PHP * @package PHP_Compat * @link http://php.net/function.ob_flush * @author Aidan Lister * @author Thiemo Mättig (http://maettig.com/) * @version $Revision: 1.6 $ * @since PHP 4.2.0 * @require PHP 4.0.0 (user_error) */ if (!function_exists('ob_flush')) { function ob_flush() { if (@ob_end_flush()) { return ob_start(); } user_error("ob_flush() Failed to flush buffer. No buffer to flush.", E_USER_NOTICE); return false; } } ?>