fix: Backport fixing delay closing of clipboards on quit (#1493)

Dieser Commit ist enthalten in:
Hannes Greule 2021-12-25 17:18:39 +01:00 committet von GitHub
Ursprung 8ab1d50f01
Commit 96ca83704a
Es konnte kein GPG-Schlüssel zu dieser Signatur gefunden werden
GPG-Schlüssel-ID: 4AEE18F83AFDEB23

Datei anzeigen

@ -437,12 +437,14 @@ public interface Player extends Entity, Actor {
} else {
continue;
}
doc.close(); // Ensure closed before deletion
doc.getFile().delete();
WorldEdit.getInstance().getExecutorService().submit(() -> {
doc.close(); // Ensure closed before deletion
doc.getFile().delete();
});
}
}
} else if (Settings.IMP.CLIPBOARD.DELETE_ON_LOGOUT || Settings.IMP.CLIPBOARD.USE_DISK) {
session.setClipboard(null);
WorldEdit.getInstance().getExecutorService().submit(() -> session.setClipboard(null));
}
if (Settings.IMP.HISTORY.DELETE_ON_LOGOUT) {
session.clearHistory();