jenkins-bot has submitted this change and it was merged. Change subject: (bugfix) catDB is undefined invoking "category.py -help" ......................................................................
(bugfix) catDB is undefined invoking "category.py -help" This patch solves this point. Change-Id: I9892c0486a7ebda8ff7793530923d261abb45865 --- M category.py 1 file changed, 2 insertions(+), 1 deletion(-) Approvals: Ladsgroup: Looks good to me, approved jenkins-bot: Verified diff --git a/category.py b/category.py index e2bf0c1..59ffddc 100644 --- a/category.py +++ b/category.py @@ -1072,5 +1072,6 @@ try: main() finally: - catDB.dump() + if 'catDB' in globals(): + catDB.dump() pywikibot.stopme() -- To view, visit https://gerrit.wikimedia.org/r/130288 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9892c0486a7ebda8ff7793530923d261abb45865 Gerrit-PatchSet: 1 Gerrit-Project: pywikibot/compat Gerrit-Branch: master Gerrit-Owner: Xqt <i...@gno.de> Gerrit-Reviewer: Ladsgroup <ladsgr...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits