# HG changeset patch
# User pin
# Date 1198224687 -32400
# Node ID 705d4b4baf704d7ddc2c6e0d08a2d7e6e2b5e9e3
# Parent  cd2b4d8fff9b48e55c9f2ef6246ccf3f2bf1d48a
*** empty log message ***

diff -r cd2b4d8fff9b -r 705d4b4baf70 rep/EditorList.java
--- a/rep/EditorList.java	Fri Dec 21 17:06:21 2007 +0900
+++ b/rep/EditorList.java	Fri Dec 21 17:11:27 2007 +0900
@@ -87,8 +87,9 @@
 		// TODO Auto-generated method stub
 		for(Editor editor : editorList){
 			String[] splited = hostport.split(":");
+			System.out.println(splited[0] + "," + editor.getHost());
 			if(splited[0].equals(editor.getHost())){
-				System.out.println("akira");
+				//System.out.println("akira");
 			}
 			//String hostandport = editor.getHost() + ":" + editor.getPort();
 			//if(hostport.equals(hostandport)){