comparison rep/EditorList.java @ 85:d5cd4d103eea

*** empty log message ***
author pin
date Fri, 21 Dec 2007 16:58:51 +0900
parents 97ca5f5447cd
children cd2b4d8fff9b
comparison
equal deleted inserted replaced
84:54334d83194a 85:d5cd4d103eea
80 for(Editor editor : editorList) { 80 for(Editor editor : editorList) {
81 editor.setHost(myHost); 81 editor.setHost(myHost);
82 } 82 }
83 } 83 }
84 84
85
86 public Editor getEditor(String hostport) {
87 // TODO Auto-generated method stub
88 for(Editor editor : editorList){
89 String hostandport = editor.getHost() + ":" + editor.getPort();
90 if(hostport.equals(hostandport)){
91 return editor;
92 }
93 }
94 return null;
95 }
96
85 } 97 }