Don't fall into an infinite loop o' death if the pipes get broken.
authorBrion Vibber <brion@users.mediawiki.org>
Mon, 19 May 2008 15:49:05 +0000 (15:49 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Mon, 19 May 2008 15:49:05 +0000 (15:49 +0000)
commit69dd51f03b5b1022db9f1de0642130fc925cc85a
tree9d71950a28b63f13fe864856b0c371933058f2e4
parent2ae276360fe7ab6bc8e0d729cc69c3753efd043c
Don't fall into an infinite loop o' death if the pipes get broken.
Exit out if we can't read from stdin anymore, instead of interpreting the 'false' error code as text ID 0...
maintenance/fetchText.php