From 44d56764305fee8fcea79cb48682682bffd17f4d Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Thu, 17 Feb 2022 07:25:00 +0100 Subject: [PATCH] Report if index processor failed (#7820) --- src/LaTeX.cpp | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/LaTeX.cpp b/src/LaTeX.cpp index 7734b02ebc..c4dd18ef2d 100644 --- a/src/LaTeX.cpp +++ b/src/LaTeX.cpp @@ -432,6 +432,12 @@ int LaTeX::run(TeXErrors & terr) runMakeIndex(onlyFileName(idxfile.absFileName()), runparams); if (ret == Systemcall::KILLED || ret == Systemcall::TIMEOUT) return ret; + else if (ret != Systemcall::OK) { + iscanres |= INDEX_ERROR; + terr.insertError(0, + _("Index Processor Error"), + _("The index processor did not run successfully. Please check the output of View > Messages!")); + } FileName const ilgfile(changeExtension(file.absFileName(), ".ilg")); if (ilgfile.exists()) iscanres = scanIlgFile(terr);