mirror of
https://github.com/EngineHub/WorldEdit.git
synced 2025-03-07 13:48:00 +08:00
Enabled queue on EditSessions given to scripts.
This commit is contained in:
parent
d5173a8763
commit
888699cae0
@ -930,6 +930,7 @@ public void runScript(LocalPlayer player, File f, String[] args)
|
||||
e.printStackTrace();
|
||||
} finally {
|
||||
for (EditSession editSession : scriptContext.getEditSessions()) {
|
||||
editSession.flushQueue();
|
||||
session.remember(editSession);
|
||||
}
|
||||
}
|
||||
|
@ -63,6 +63,7 @@ public EditSession remember() {
|
||||
EditSession editSession =
|
||||
new EditSession(server, player.getWorld(),
|
||||
session.getBlockChangeLimit(), session.getBlockBag(player));
|
||||
editSession.enableQueue();
|
||||
editSessions.add(editSession);
|
||||
return editSession;
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user