# HG changeset patch # User pin # Date 1198228813 -32400 # Node ID ec0b37884758dcfb347f5456b9cd4c5e77601efa # Parent b299e82cc05f9e3ef6697c7d4c46d40c94c17f51 *** empty log message *** diff -r b299e82cc05f -r ec0b37884758 rep/EditorList.java --- a/rep/EditorList.java Fri Dec 21 18:20:13 2007 +0900 +++ b/rep/EditorList.java Fri Dec 21 18:20:13 2007 +0900 @@ -89,8 +89,9 @@ String[] splited = hostport.split(":"); System.out.println(splited[0] + "," + editor.getHost()); if(splited[0].equals(editor.getHost())){ - //System.out.println("akira"); + return editor; } + //String hostandport = editor.getHost() + ":" + editor.getPort(); //if(hostport.equals(hostandport)){ // return editor; diff -r b299e82cc05f -r ec0b37884758 rep/SessionManager.java --- a/rep/SessionManager.java Fri Dec 21 18:20:13 2007 +0900 +++ b/rep/SessionManager.java Fri Dec 21 18:20:13 2007 +0900 @@ -148,7 +148,7 @@ case REP.SMCMD_PUT: editor = new Editor(channel); editor.setHost(myHost); - allEditorList.addEditor(channel); + allEditorList.addEditor(editor); editor.setEID(1); editor.setName(receivedCommand.string); session = new Session(editor);