# HG changeset patch # User one # Date 1287829936 -32400 # Node ID 6b718b6b789ca7389a46358db6d0f99bd4c81493 # Parent 24297c2d9422d2b6edcf18fd5c08c663b9c19ffc new merge fix diff -r 24297c2d9422 -r 6b718b6b789c rep/handler/Editor.java --- a/rep/handler/Editor.java Sat Oct 23 18:54:15 2010 +0900 +++ b/rep/handler/Editor.java Sat Oct 23 19:32:16 2010 +0900 @@ -420,7 +420,7 @@ *   mode==false Don't truncate unMergedCmds after merge mark */ private void truncateSentList(REPCommand commit, boolean mode) { - if (merging) return; + if (blocking) return; // merging is not enough LinkedLists = new LinkedList(); for(REPCommand command:sentList) { if (command.eid!=eid) { @@ -662,9 +662,14 @@ } } output.addLast(mergeMark); + LinkedList ns = new LinkedList(); output.addAll(sortedEditCmds); + ns.addAll(sortedEditCmds); + ns.addLast(mergeMark); output.addAll(newSentList); - logger.writeLog("sortedMerge"+eid+":"+sentList); + ns.addAll(newSentList); + sentList = ns; + logger.writeLog("sortedMerge"+eid+":"+sortedEditCmds+newSentList); // unMerged command のdeleteのundo string は、この時点で使えない。 // Editor 側から送り返して来たものを使う必要がある。 logger.writeLog("outputMerge"+eid+":"+output);