diff rep/EditorList.java @ 85:d5cd4d103eea

*** empty log message ***
author pin
date Fri, 21 Dec 2007 16:58:51 +0900
parents 97ca5f5447cd
children cd2b4d8fff9b
line wrap: on
line diff
--- a/rep/EditorList.java	Fri Dec 21 16:03:04 2007 +0900
+++ b/rep/EditorList.java	Fri Dec 21 16:58:51 2007 +0900
@@ -82,4 +82,16 @@
 		}
 	}
 
+
+	public Editor getEditor(String hostport) {
+		// TODO Auto-generated method stub
+		for(Editor editor : editorList){
+			String hostandport = editor.getHost() + ":" + editor.getPort();
+			if(hostport.equals(hostandport)){
+				return editor;
+			}
+		}
+		return null;
+	}
+
 }