Report if index processor failed (#7820)

diff --git a/src/LaTeX.cpp b/src/LaTeX.cpp
index 7734b02ebc6e56ef26120b840778159feefb28b7..c4dd18ef2d6cd6da16367fd2ebf35ec7a84cde47 100644 (file)
--- 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);