# HG changeset patch # User one # Date 1227076289 -32400 # Node ID 1d5b608f39dad5640693189adaf65d26217d9b16 # Parent 18cacd0b3ccf67e55f662fca5b61f2ebabf78915 checkMerge fix diff -r 18cacd0b3ccf -r 1d5b608f39da .classpath --- a/.classpath Mon Nov 10 22:26:43 2008 +0900 +++ b/.classpath Wed Nov 19 15:31:29 2008 +0900 @@ -2,5 +2,6 @@ + diff -r 18cacd0b3ccf -r 1d5b608f39da rep/Session.java --- a/rep/Session.java Mon Nov 10 22:26:43 2008 +0900 +++ b/rep/Session.java Wed Nov 19 15:31:29 2008 +0900 @@ -136,9 +136,10 @@ public void closeSession() { REPNode f = first; - REPCommand command = new REPCommand(REP.REPCMD_CLOSE, sessionID, REP.SM_EID.id, 0, 0, ""); - if (f!=null) + if (f!=null) { + REPCommand command = new REPCommand(REP.REPCMD_CLOSE, sessionID, REP.SM_EID.id, 0, 0, ""); f.send(command); + } } public REPNode getForwarder(REPSocketChannel channel) { diff -r 18cacd0b3ccf -r 1d5b608f39da rep/SessionList.java --- a/rep/SessionList.java Mon Nov 10 22:26:43 2008 +0900 +++ b/rep/SessionList.java Wed Nov 19 15:31:29 2008 +0900 @@ -3,7 +3,6 @@ import java.util.HashMap; -import rep.channel.REPSocketChannel; public class SessionList extends HashMap{ /** @@ -12,10 +11,6 @@ private static final long serialVersionUID = 1L; private int sid_root = 0; - public void sendSelect(int sid) { - REPSocketChannel channel = get(sid-1).getOwner().getChannel(); - channel.write(new REPCommand(REP.SMCMD_SELECT, sid, 0, 0, 0, "")); - } // public String getXML() { ///* SessionListをXMLに書き出す。ときの形式 diff -r 18cacd0b3ccf -r 1d5b608f39da rep/handler/Editor.java --- a/rep/handler/Editor.java Mon Nov 10 22:26:43 2008 +0900 +++ b/rep/handler/Editor.java Wed Nov 19 15:31:29 2008 +0900 @@ -142,7 +142,7 @@ void checkEndMerge() { if (merging) { if(translator.isMerging()) return; - REPCommand mergeEnd = new REPCommand(REP.SMCMD_END_MERGE,eid,sid,seq(),0,""); + REPCommand mergeEnd = new REPCommand(REP.SMCMD_END_MERGE,sid,eid,seq(),0,""); send(mergeEnd); merging = false; }