Flush regardless of changeset

This commit is contained in:
Jesse Boyd 2016-12-13 15:00:24 +11:00
parent 52c460a32c
commit 4044e8772d
No known key found for this signature in database
GPG Key ID: 59F1DE6293AF6E1F

View File

@ -439,11 +439,11 @@ public class LocalSession {
} }
public void remember(final EditSession editSession, final boolean append, final boolean sendMessage, int limitMb) { public void remember(final EditSession editSession, final boolean append, final boolean sendMessage, int limitMb) {
// It should have already been flushed, but just in case!
editSession.flushQueue();
if (editSession == null || editSession.getChangeSet() == null || limitMb == 0 || ((historySize >> 20) > limitMb && !append)) { if (editSession == null || editSession.getChangeSet() == null || limitMb == 0 || ((historySize >> 20) > limitMb && !append)) {
return; return;
} }
// It should have already been flushed, but just in case!
editSession.flushQueue();
// Don't store anything if no changes were made // Don't store anything if no changes were made
if (editSession.size() == 0 || editSession.hasFastMode()) { if (editSession.size() == 0 || editSession.hasFastMode()) {
return; return;