diff --git a/src/debug.py b/src/debug.py index 9ddf1231d..0cc739d2d 100644 --- a/src/debug.py +++ b/src/debug.py @@ -149,6 +149,7 @@ def recoverableError(msg): _errorfd.flush() def unrecoverableError(msg): + """Logs some error message and then exits.""" recoverableError(msg) exit(-1)