# HG changeset patch
# User kono
# Date 1220427688 -32400
# Node ID f8af86006772a1fb2d8f727b53d9003d0830a67e
# Parent  5d74d0f734748783bcf9128fbaec861c524cd17e
*** empty log message ***

diff -r 5d74d0f73474 -r f8af86006772 rep/SessionManager.java
--- a/rep/SessionManager.java	Wed Sep 03 16:35:30 2008 +0900
+++ b/rep/SessionManager.java	Wed Sep 03 16:41:28 2008 +0900
@@ -526,7 +526,7 @@
 		smList.add(channel);
 	}
 
-	private String getLocalHostName(REPSocketChannel channel) {
+	private String getLocalHostName(REPSocketChannel<REPCommand> channel) {
 		String host = null;
 		host = channel.socket().getLocalAddress().getHostName();
 		return host;
@@ -549,9 +549,9 @@
 //		selector.wakeup();
 //	}
 
-	public void selectSession(SelectButtonEvent<REPCommand> event) {
-		REPSocketChannel<REPCommand> channel = event.getEditorChannel();
-		int sid = event.getSID();
+	public void selectSession(SelectButtonEvent<REPCommand> selectButtonEvent) {
+		REPSocketChannel<REPCommand> channel = selectButtonEvent.getEditorChannel();
+		int sid = selectButtonEvent.getSID();
 		Session session = getSession(sid);
 		
 		Editor editor = getEditor(channel);
@@ -570,7 +570,7 @@
 			sendCommand.setSID(sid);
 			channel.write(sendCommand);
 		}else {
-			sid = event.getSID();
+			sid = selectButtonEvent.getSID();
 			editor = new Editor(channel);
 			editor.setHost(myHost);
 			session = getSession(sid);