diff rep/SessionManager.java @ 224:6b0dd92b8e45

add optimizer to Editor
author kent
date Sun, 31 Aug 2008 13:28:34 +0900
parents 18d6a7140fa3
children cbd67817e9cd
line wrap: on
line diff
--- a/rep/SessionManager.java	Sun Aug 31 13:06:36 2008 +0900
+++ b/rep/SessionManager.java	Sun Aug 31 13:28:34 2008 +0900
@@ -409,7 +409,7 @@
 		return null;
 	}
 	
-	public Editor getEditor(REPSocketChannel channel){
+	public Editor getEditor(REPSocketChannel<REPCommand> channel){
 		for(Editor editor : editorList){
 			if(editor.getChannel() == channel){
 				return editor;
@@ -425,7 +425,7 @@
 		return null;
 	}
 
-	private boolean setMaxHost(REPSocketChannel channel, String maxHost2) {
+	private boolean setMaxHost(REPSocketChannel<REPCommand> channel, String maxHost2) {
 		if(maxHost.compareTo(maxHost2) > 0){
 			return false;
 		}else{