Plexus/Plex-FAWE
1
0
Fork 0
mirror of https://github.com/plexusorg/Plex-FAWE.git synced 2024-11-04 20:06:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'main' into major/2.0.0/1.18

Browse Source
This commit is contained in:
NotMyFault 2021-12-25 17:20:52 +01:00
commit 3b24a8ae8a
No known key found for this signature in database
GPG Key ID: 158F5701A6AAD00C
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
worldedit-core/src/main/java/com/sk89q/worldedit/entity/Player.java
View File

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