--- a/rep/xml/SessionXMLDecoder.java	Thu Aug 28 22:04:48 2008 +0900
+++ b/rep/xml/SessionXMLDecoder.java	Thu Aug 28 22:53:05 2008 +0900
@@ -97,14 +97,14 @@
 					String file = elementFile.getFirstChild().getNodeValue();
 					
 					Editor editor = new Editor();
-					editor.setHost(host); editor.setPort(port); editor.setName(file); editor.setEID(Integer.parseInt(eid)); 
+					editor.setHost(host);/* editor.setPort(port)*/; editor.setName(file); editor.setEID(Integer.parseInt(eid)); 
 					session = new Session(editor);
 					session.addEditor(editor);
 					sessionlist.addSession(session);
 					
 				}else {
 					Editor editor = new Editor();
-					editor.setHost(host); editor.setPort(port); editor.setName(null); editor.setEID(Integer.parseInt(eid));
+					editor.setHost(host);/* editor.setPort(port)*/; editor.setName(null); editor.setEID(Integer.parseInt(eid));
 					if(session != null){
 						session.addEditor(editor);
 						//sessionlist.addSession(session);
@@ -132,7 +132,7 @@
 				String host = nodelistEditorInfo.item(0).getTextContent();
 				editor.setHost(host);
 				String port = nodelistEditorInfo.item(1).getTextContent();
-				editor.setPort(port);
+//				editor.setPort(port);
 				if(nodelistEditorInfo.getLength() == 3){
 					String name = nodelistEditorInfo.item(2).getTextContent();
 					editor.setName(name);