diff -r 62b5f7b909a9 -r 1b4b335e19ea ConfigTreeNode.py --- a/ConfigTreeNode.py Thu Oct 24 11:20:04 2019 +0200 +++ b/ConfigTreeNode.py Wed Nov 13 11:21:04 2019 +0100 @@ -670,3 +670,14 @@ msg = _("Could not add child \"{a1}\", type {a2} :\n{a3}\n").format(a1=pname, a2=ptype, a3=text(exc)) self.GetCTRoot().logger.write_error(msg) self.GetCTRoot().logger.write_error(traceback.format_exc()) + + + def FatalError(self, message): + """ Raise an exception that will trigger error message intended to + the user, but without backtrace since it is not a software error """ + + raise UserAddressedException(message) + +class UserAddressedException(Exception): + pass +