dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ebd281) | patch
Suppress error in MediaWiki\Shell\Command
authorGergő Tisza <gtisza@wikimedia.org>
Sat, 7 Oct 2017 00:31:06 +0000 (00:31 +0000)
committerGergő Tisza <gtisza@wikimedia.org>
Mon, 9 Oct 2017 00:28:02 +0000 (00:28 +0000)
commit2ebb0ca271b24a9b13dcc9717496068a09e51417
tree68f43bd92f80fcb1e3fbe330b0ee6d4b3a7f4c38tree | snapshot
parent7ebd2817de70cedf6cbd0f1fc808bdb00c6ce92dcommit | diff
Suppress error in MediaWiki\Shell\Command

Command uses a certain error message to detect and ignore
EINTR in stream_select, and uses trigger_error to clear
the message from get_last_error (clear_last_error is PHP7 only).
This works rather poorly with a system config that does not catch
or ignore most errors; specifically it breaks database tests
on Vagrant with the warnings_as_errors role on.

Change-Id: I9c8f922bc0a8f5ee6b8e7501b22223cce4f98ecb
includes/shell/Command.php diff | blob | history
Wiklou, le Wiki du Wiklou