Flush or disable buffers in tools

This commit is contained in:
Kenzie Togami
2018-10-20 18:54:58 -07:00
parent dd2fcbac23
commit 1fa1ff895b
10 changed files with 44 additions and 18 deletions

View File

@ -316,7 +316,7 @@ public final class CommandManager {
if (editSession != null) {
session.remember(editSession);
editSession.flushQueue();
editSession.flushSession();
if (config.profile) {
long time = System.currentTimeMillis() - start;