jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/425981 )
Change subject: [FEAT] Add quit option in patrol.py
......................................................................
[FEAT] Add quit option in patrol.py
Bug: T192084
Change-Id: Ifc6120888dda972130df3e2f3a9fbd93323d3246
---
M scripts/patrol.py
1 file changed, 8 insertions(+), 5 deletions(-)
Approvals:
Framawiki: Looks good to me, approved
jenkins-bot: Verified
Objections:
Zoranzoki21: There's a problem with this change, please improve
diff --git a/scripts/patrol.py b/scripts/patrol.py
index 659b76a..743005b 100755
--- a/scripts/patrol.py
+++ b/scripts/patrol.py
@@ -63,7 +63,7 @@
from pywikibot import pagegenerators
-from pywikibot.bot import SingleSiteBot
+from pywikibot.bot import SingleSiteBot, QuitKeyboardInterrupt
_logger = 'patrol'
@@ -303,8 +303,12 @@
self.load_whitelist()
if not feed:
feed = self.getOption('feed')
- for page in feed:
- self.treat(page)
+ try:
+ for page in feed:
+ self.treat(page)
+ except QuitKeyboardInterrupt:
+ pywikibot.output('\nUser quit {} bot run.'
+ .format(self.__class__.__name__))
def treat(self, page):
"""It loads the given page, does some changes, and saves
it."""
@@ -349,8 +353,7 @@
if self.getOption('ask'):
choice = pywikibot.input_yn(
- 'Do you want to mark page as patrolled?',
- automatic_quit=False)
+ 'Do you want to mark page as patrolled?')
# Patrol the page
if choice:
--
To view, visit
https://gerrit.wikimedia.org/r/425981
To unsubscribe, visit
https://gerrit.wikimedia.org/r/settings
Gerrit-Project: pywikibot/core
Gerrit-Branch: master
Gerrit-MessageType: merged
Gerrit-Change-Id: Ifc6120888dda972130df3e2f3a9fbd93323d3246
Gerrit-Change-Number: 425981
Gerrit-PatchSet: 1
Gerrit-Owner: Xqt <info(a)gno.de>
Gerrit-Reviewer: Framawiki <framawiki(a)tools.wmflabs.org>
Gerrit-Reviewer: John Vandenberg <jayvdb(a)gmail.com>
Gerrit-Reviewer: Xqt <info(a)gno.de>
Gerrit-Reviewer: Zoranzoki21 <zorandori4444(a)gmail.com>
Gerrit-Reviewer: jenkins-bot <>