mirror of
https://github.com/EngineHub/WorldEdit.git
synced 2024-12-09 04:30:51 +08:00
Try to fix issue with extra server tasks
I don't think there's a cleaner way to pop these off.
This commit is contained in:
parent
df3937256e
commit
3db43c88c0
@ -309,6 +309,11 @@ private void doRegen(Region region, EditSession editSession) throws Exception {
|
|||||||
false
|
false
|
||||||
)) {
|
)) {
|
||||||
regenForWorld(region, editSession, serverWorld);
|
regenForWorld(region, editSession, serverWorld);
|
||||||
|
|
||||||
|
// drive the server executor until all tasks are popped off
|
||||||
|
while (originalWorld.getServer().runTask()) {
|
||||||
|
Thread.yield();
|
||||||
|
}
|
||||||
}
|
}
|
||||||
} finally {
|
} finally {
|
||||||
FileUtils.deleteDirectory(tempDir.toFile());
|
FileUtils.deleteDirectory(tempDir.toFile());
|
||||||
|
Loading…
Reference in New Issue
Block a user