From 370e83bb0dfd0c70de268c93bf07ad5ee0897192 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Fri, 15 Aug 2008 01:29:47 +0200
Subject: Update auf 1.13.0

---
 maintenance/fetchText.php | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

(limited to 'maintenance/fetchText.php')

diff --git a/maintenance/fetchText.php b/maintenance/fetchText.php
index 3b745c0a..91b78be3 100644
--- a/maintenance/fetchText.php
+++ b/maintenance/fetchText.php
@@ -1,7 +1,9 @@
 <?php
-
 /**
  * Communications protocol...
+ *
+ * @file
+ * @ingroup Maintenance
  */
 
 require "commandLine.inc";
@@ -10,6 +12,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 +37,3 @@ function doGetText( $db, $id ) {
 	}
 	return $text;
 }
-
-
-?>
\ No newline at end of file
-- 
cgit v1.2.3-54-g00ecf