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...

diff --git a/maintenance/fetchText.php b/maintenance/fetchText.php
index 3b745c0..6492fad 100644 (file)
--- a/maintenance/fetchText.php
+++ b/maintenance/fetchText.php
@@ -10,6 +10,10 @@ $db = wfGetDB( DB_SLAVE );
 $stdin = fopen( "php://stdin", "rt" );
 while( !feof( $stdin ) ) {
        $line = fgets( $stdin );
+       if( $line === false ) {
+               // We appear to have lost contact...
+               break;
+       }
        $textId = intval( $line );
        $text = doGetText( $db, $textId );
        echo strlen( $text ) . "\n";
@@ -31,6 +35,3 @@ function doGetText( $db, $id ) {
        }
        return $text;
 }
-
-
-?>
\ No newline at end of file