Merge "properly stop output buffering"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 22 Feb 2013 15:36:12 +0000 (15:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 22 Feb 2013 15:36:12 +0000 (15:36 +0000)
maintenance/Maintenance.php

index aab7bb3..01cc627 100644 (file)
@@ -517,8 +517,11 @@ abstract class Maintenance {
                define( 'MEDIAWIKI', true );
 
                $wgCommandLineMode = true;
+
                # Turn off output buffering if it's on
-               @ob_end_flush();
+               while( ob_get_level() > 0 ) {
+                       ob_end_flush();
+               }
 
                $this->validateParamsAndArgs();
        }