Minor worflow change in case of unhandled exceptions (disregard --batch)

This commit is contained in:
Miroslav Stampar
2018-05-28 11:10:42 +02:00
parent 6b3f01bfeb
commit 80f3b9a711
3 changed files with 4 additions and 4 deletions

View File

@@ -3367,7 +3367,7 @@ def createGithubIssue(errMsg, excMsg):
msg += "with the unhandled exception information at "
msg += "the official Github repository? [y/N] "
try:
choice = readInput(msg, default='N', boolean=True)
choice = readInput(msg, default='N', checkBatch=False, boolean=True)
except:
choice = None