Probable patch for #3013 and similar Issues

This commit is contained in:
Miroslav Stampar
2018-03-28 15:23:14 +02:00
parent 45fb5ab4a5
commit c7329cb03b
3 changed files with 4 additions and 4 deletions

View File

@@ -305,7 +305,7 @@ def main():
logger.error(errMsg)
raise SystemExit
elif "valueStack.pop" in excMsg and kb.get("dumpKeyboardInterrupt"):
elif kb.get("dumpKeyboardInterrupt"):
raise SystemExit
elif any(_ in excMsg for _ in ("Broken pipe",)):