From c18d576ba296e7ccea76a9757969c7ae60e6b753 Mon Sep 17 00:00:00 2001 From: Marco Konersmann Date: Tue, 9 Apr 2019 13:48:38 +0200 Subject: [PATCH 1/2] Logs exceptions in file monitor as errors An exception in the initialization of DefaultFileUpdateMonitor is now logged as error --- src/main/java/org/jabref/gui/util/DefaultFileUpdateMonitor.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/org/jabref/gui/util/DefaultFileUpdateMonitor.java b/src/main/java/org/jabref/gui/util/DefaultFileUpdateMonitor.java index 28de7285f3f..bdf0b51e2a6 100644 --- a/src/main/java/org/jabref/gui/util/DefaultFileUpdateMonitor.java +++ b/src/main/java/org/jabref/gui/util/DefaultFileUpdateMonitor.java @@ -59,7 +59,7 @@ public void run() { Thread.yield(); } } catch (Throwable e) { - LOGGER.debug("FileUpdateMonitor has been interrupted. Terminating...", e); + LOGGER.error("FileUpdateMonitor has been interrupted.", e); } } From 3cca6d3677d667d483bce8b65749367d059fd01b Mon Sep 17 00:00:00 2001 From: Marco Konersmann Date: Tue, 9 Apr 2019 13:50:53 +0200 Subject: [PATCH 2/2] Describes fix for issue #4874 --- CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 7a941e10ce1..3ec7d2b519a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -65,6 +65,7 @@ We refer to [GitHub issues](https://github.com/JabRef/jabref/issues) by using `# ### Fixed +- We fixed an issue where JabRef died silently for the user without enough inotify instances [#4874](https://github.com/JabRef/jabref/issues/4847) - We fixed an issue where corresponding groups are sometimes not highlighted when clicking on entries [#3112](https://github.com/JabRef/jabref/issues/3112) - We fixed an issue where custom exports could not be selected in the 'Export (selected) entries' dialog [#4013](https://github.com/JabRef/jabref/issues/4013) - Italic text is now rendered correctly. https://github.com/JabRef/jabref/issues/3356