Fixed merge errors

JabRef · Jan 10, 2024 · 678f829 · 678f829
1 parent 9bf7047
commit 678f829
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main/java/org/jabref/gui/LibraryTab.java b/src/main/java/org/jabref/gui/LibraryTab.java
@@ -781,6 +781,7 @@ private void onCloseRequest(Event event) {
      */
     private void onClosed(Event event) {
         changeMonitor.ifPresent(DatabaseChangeMonitor::unregister);
+        PdfIndexerManager.shutdownIndexer(bibDatabaseContext);
         AutosaveManager.shutdown(bibDatabaseContext);
         BackupManager.shutdown(bibDatabaseContext,
                 preferencesService.getFilePreferences().getBackupDirectory(),