Merge "Suppress error in MediaWiki\Shell\Command"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 10 Oct 2017 18:52:52 +0000 (18:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 10 Oct 2017 18:52:53 +0000 (18:52 +0000)
includes/shell/Command.php

index cefe573..4e0c0ec 100644 (file)
@@ -313,12 +313,20 @@ class Command {
 
                        $readyPipes = $pipes;
 
-                       // Clear last error
+                       // clear get_last_error without actually raising an error
+                       // from http://php.net/manual/en/function.error-get-last.php#113518
+                       // TODO replace with clear_last_error when requirements are bumped to PHP7
+                       set_error_handler( function () {
+                       }, 0 );
                        // @codingStandardsIgnoreStart Generic.PHP.NoSilencedErrors.Discouraged
                        @trigger_error( '' );
+                       // @codingStandardsIgnoreEnd
+                       restore_error_handler();
+
+                       // @codingStandardsIgnoreStart Generic.PHP.NoSilencedErrors.Discouraged
                        $numReadyPipes = @stream_select( $readyPipes, $emptyArray, $emptyArray, $timeout );
+                       // @codingStandardsIgnoreEnd
                        if ( $numReadyPipes === false ) {
-                               // @codingStandardsIgnoreEnd
                                $error = error_get_last();
                                if ( strncmp( $error['message'], $eintrMessage, strlen( $eintrMessage ) ) == 0 ) {
                                        continue;