# HG changeset patch # User pin # Date 1195197008 -32400 # Node ID c8b66e3d13d1dced8cd2e293d75e73b3c9bc80dc # Parent 491962300d0ab8093cbf809656b67dfc4305916e *** empty log message *** diff -r 491962300d0a -r c8b66e3d13d1 rep/SessionManager.java --- a/rep/SessionManager.java Fri Nov 16 16:08:37 2007 +0900 +++ b/rep/SessionManager.java Fri Nov 16 16:10:08 2007 +0900 @@ -215,8 +215,8 @@ //sessionmanagerGUI.setComboSession(sessionID2, repCmd.string); //ComboBox‚ÉSession‚ð’ljÁ SessionXMLDecoder decoder = new SessionXMLDecoder(repCmd.string); Editor editor1 = new Editor(channel); - //editor1.setHost(decoder.getHost()); - //editor1.setPort(decoder.getPort()); + Session session1 = new Session(editor1); + sessionlist.addSession(session1); if(isMaster){ repCmd.setCMD(REP.SMCMD_UPDATE_ACK); smList.sendToSlave(repCmd);