fix: Properly delete ChangeSets on history clear (#1413)

Fixes #1347

Co-authored-by: Jordan <dordsor21@gmail.com>
Co-authored-by: Alex <mc.cache@web.de>
This commit is contained in:
Owen1212055 2021-12-06 08:31:46 -05:00 committed by GitHub
parent e0e3688361
commit 781bfc542f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -398,9 +398,20 @@ public class LocalSession implements TextureHolder {
* Clear history. * Clear history.
*/ */
public void clearHistory() { public void clearHistory() {
history.clear();
//FAWE start //FAWE start
historyWriteLock.lock();
try {
// Ensure that changesets are properly removed
for (Object item : history) {
getChangeSet(item).delete();
}
history.clear();
} finally {
historyWriteLock.unlock();
}
historyNegativeIndex = 0; historyNegativeIndex = 0;
save();
historySize = 0; historySize = 0;
currentWorld = null; currentWorld = null;
//FAWE end //FAWE end