From ba3ff33ed72510e2bc0581997a9f6b6e36964902 Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Sun, 3 Sep 2006 10:22:36 +0000
Subject: [PATCH] formatting etc.

---
 maintenance/dumpHTML.inc | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/maintenance/dumpHTML.inc b/maintenance/dumpHTML.inc
index 29eeadf35d..2fa0d9d719 100644
--- a/maintenance/dumpHTML.inc
+++ b/maintenance/dumpHTML.inc
@@ -54,6 +54,8 @@ class DumpHTML {
 	# Checkpoint stuff
 	var $checkpointFile = false, $checkpoints = false;
 
+	var $startID = 1, $endID = false;
+
 	function DumpHTML( $settings ) {
 		foreach ( $settings as $var => $value ) {
 			$this->$var = $value;
@@ -307,7 +309,7 @@ class DumpHTML {
 			print "Category pages already done\n";
 			return;
 		} elseif ( $cp !== false ) {
-			print "Resuming category page dump from $cp";
+			print "Resuming category page dump from $cp\n";
 			$sql .= ' WHERE cl_to >= ' . $dbr->addQuotes( $cp );
 		}
 
@@ -320,7 +322,7 @@ class DumpHTML {
 		while ( $row = $dbr->fetchObject( $res ) ) {
 			wfWaitForSlaves( 10 );
 			if ( !(++$i % REPORTING_INTERVAL ) ) {
-				print "$i\r";
+				print "{$row->cl_to}\n";
 				if ( $row->cl_to != 'done' ) {
 					$this->setCheckpoint( 'category', $row->cl_to );
 				}
@@ -356,7 +358,7 @@ class DumpHTML {
 		while ( $row = $dbr->fetchObject( $res ) ) {
 			$title = Title::makeTitle( $row->page_namespace, $row->page_title );
 			if ( !(++$i % (REPORTING_INTERVAL*10) ) ) {
-				print "Done $i of $num\n";
+				print "Done $i of $num (ID {$row->page_id})\n";
 				$this->setCheckpoint( 'redirect', $row->page_id );
 			}
 			$this->doArticle( $title );
-- 
2.20.1