Fix JabRef dying silently without enough inotify instances#4875

Merged

Siedlerchr merged 2 commits intoJabRef:masterfrom mkonersmann:fix-for-issue-4874

Apr 9, 2019

+2-1

Commits on Apr 9, 2019

Logs exceptions in file monitor as errors
Marco Konersmann
authored
Describes fix for issue #4874
Marco Konersmann
authored