jenkins-bot has submitted this change and it was merged.

Change subject: djvutxt.py: specify Page ns in title when creating Page ......................................................................

djvutxt.py: specify Page ns in title when creating Page

Construct target page title using explicitly Proofread Page namespace to avoid errors when instantiating ProofreadPage object.

Bug: T130908 Change-Id: I1e138e694acb3523b8e3be1efa447ffaa681dd9b --- M scripts/djvutext.py 1 file changed, 5 insertions(+), 2 deletions(-)

Approvals: John Vandenberg: Looks good to me, approved jenkins-bot: Verified

diff --git a/scripts/djvutext.py b/scripts/djvutext.py index 806b99f..7a3589d 100644 --- a/scripts/djvutext.py +++ b/scripts/djvutext.py @@ -74,6 +74,7 @@ self._djvu = djvu self._index = index self._prefix = self._index.title(withNamespace=False) + self._page_ns = self.site._proofread_page_ns.custom_name

if not pages: self._pages = (1, self._djvu.number_of_images()) @@ -99,8 +100,10 @@ def gen(self): """Generate pages from specified page interval.""" for page_number in self.page_number_gen(): - title = '{prefix}/{number}'.format(prefix=self._prefix, - number=page_number) + title = '{page_ns}:{prefix}/{number}'.format( + page_ns=self._page_ns, + prefix=self._prefix, + number=page_number) page = ProofreadPage(self._index.site, title) page.page_number = page_number # remember page number in djvu file yield page