diff rep/Session.java @ 131:617a47cb0150

*** empty log message ***
author pin
date Wed, 27 Aug 2008 18:17:16 +0900
parents f0bc200d963d
children 0bf7f8d0f5f7
line wrap: on
line diff
--- a/rep/Session.java	Wed Aug 27 18:17:12 2008 +0900
+++ b/rep/Session.java	Wed Aug 27 18:17:16 2008 +0900
@@ -4,6 +4,8 @@
 import java.util.LinkedList;
 import java.util.List;
 
+import rep.channel.REPSocketChannel;
+
 public class Session {
 	private Editor masterEditor;
 	private int sessionID;
@@ -15,7 +17,7 @@
 	private int incrementEID;
 	private boolean isOwner = false;
 	
-	public Session(int sessionID, String string, SocketChannel channel) {
+	public Session(int sessionID, String string, REPSocketChannel channel) {
 		masterEditor = new Editor(sessionID, channel);
 		this.sessionID = sessionID;
 		this.sessionName = string;
@@ -28,7 +30,7 @@
 		this.sessionName = editor.getName();
 	}
 
-	public void addEditor(int editorID, SocketChannel channel) {
+	public void addEditor(int editorID, REPSocketChannel channel) {
 		editorList.add(new Editor(editorID, channel));
 	}
 	public LinkedList<Editor> getEditorList() {