*/
if (version_compare(phpversion(), '4.3.0', '<') || php_sapi_name() == 'cgi') {
// Handle output buffering
- @ob_end_flush();
+ while (@ob_end_flush());
ob_implicit_flush(TRUE);
// PHP ini settings
// Content-Type, Set-Cookie, Cache-control, ...
$request->discardOutput(); // Hijack the http request from PhpWiki.
ob_end_clean(); // clean up after hijacking $request
- //ob_end_flush(); //debugging
+ //while (@ob_end_flush()); //debugging
$filename = FilenameForPage($page);
Header("Content-disposition: attachment; filename=\""
. $filename . "\"");