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

Change subject: [FIX] generate_user_files: Duplicated ERROR prefix ......................................................................

[FIX] generate_user_files: Duplicated ERROR prefix

In a3765211 the prints were in the script were changed to `pywikibot.error` and similar. One call was overlooked and continued to use the ERROR prefix in the message. It also adds the exception message to that message so that it's easier to figure out what went wrong.

Change-Id: I8ebc59d3cc65b0bec0e453e0a63b5d4bcef7bfff --- M generate_user_files.py 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/generate_user_files.py b/generate_user_files.py index a66bc2d..4455862 100755 --- a/generate_user_files.py +++ b/generate_user_files.py @@ -59,8 +59,8 @@ else: try: os.mkdir(new_base, pywikibot.config2.private_files_permission) - except Exception: - pywikibot.error("ERROR: directory creation failed") + except Exception as e: + pywikibot.error('directory creation failed: {0}'.format(e)) continue pywikibot.output("Created new directory.") break