jenkins-bot has submitted this change and it was merged.
Change subject: Make adminbot also work if no headers are present
......................................................................
Make adminbot also work if no headers are present
With no headers present, the for loop finished without setting
header_date to any value, causing
UnboundLocalError: local variable 'header_date' referenced before
assignment
Change-Id: I6544c58b0f2c489240d1b43ac3ef572b1cdb34f5
---
M adminlog.py
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
BryanDavis: Looks good to me, but someone else must approve
Yuvipanda: Looks good to me, approved
jenkins-bot: Verified
diff --git a/adminlog.py b/adminlog.py
index 6ff1aea..d543092 100644
--- a/adminlog.py
+++ b/adminlog.py
@@ -33,6 +33,7 @@
# Try extracting latest date header
header = "=" * config.wiki_header_depth
+ header_date = None
for line in lines:
position += 1
if line.startswith(header):
--
To view, visit https://gerrit.wikimedia.org/r/229757
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I6544c58b0f2c489240d1b43ac3ef572b1cdb34f5
Gerrit-PatchSet: 1
Gerrit-Project: operations/debs/adminbot
Gerrit-Branch: master
Gerrit-Owner: Merlijn van Deen <valhall...@arctus.nl>
Gerrit-Reviewer: BryanDavis <bda...@wikimedia.org>
Gerrit-Reviewer: Yuvipanda <yuvipa...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
