# HG changeset patch # User one # Date 1262513390 -32400 # Node ID bd883b059360c817cd1c499580e468924bac95c2 # Parent 46199cf0046ec718008eecbadbea0214901be5d7 merge test worked, but checked. diff -r 46199cf0046e -r bd883b059360 rep/handler/Translator.java --- a/rep/handler/Translator.java Sun Jan 03 01:27:17 2010 +0900 +++ b/rep/handler/Translator.java Sun Jan 03 19:09:50 2010 +0900 @@ -64,7 +64,8 @@ output.add( createUndo(cmd0) ); } for( REPCommand cmd0 : editor.getSentList()) { - cmds.add(cmd0); + if (cmd0.cmd==REP.REPCMD_INSERT || cmd0.cmd==REP.REPCMD_DELETE) + cmds.add(cmd0); } output.addAll(cmds); // ACKが来たものは必ず先頭 @@ -88,6 +89,7 @@ merge_mode = false; return false; } + assert(sentMergedList.size()==0); for(REPCommand c:output1) { REPCommand m = new REPCommand(c); m.setEID(REP.MERGE_EID.id); @@ -130,7 +132,7 @@ */ public void transReceiveCmd(REPNode nextEditor,REPCommand cmd){ assert (cmd.eid != eid); - unMergedCmds.addLast(cmd); + unMergedCmds.addFirst(cmd); } public void setEid(int _eid){ @@ -138,9 +140,9 @@ } public boolean checkMergeConflict(REPCommand command) { - unMergedCmds.addLast(command); + unMergedCmds.addFirst(command); REPCommand prev = sentMergedList.remove(); - //assert (prev.seq==command.seq); + assert (prev.seq==command.seq); if (mergeAgain) { return true;