# HG changeset patch
# User pin
# Date 1198286058 -32400
# Node ID f0bc200d963d50ed5d90c6279c8562b0d440051e
# Parent  2462a5d113962cec20cb8854b7317df4687912cb
*** empty log message ***

diff -r 2462a5d11396 -r f0bc200d963d rep/Session.java
--- a/rep/Session.java	Sat Dec 22 00:30:14 2007 +0900
+++ b/rep/Session.java	Sat Dec 22 10:14:18 2007 +0900
@@ -49,6 +49,12 @@
 	}
 	public int addEditor(Editor editor) {
 		incrementEID++;
+		for(Editor geteditor: editorList){
+			if(geteditor.getChannel().equals(editor.getChannel())){
+				//editorList.add(editor);
+				return incrementEID;
+			}
+		}
 		editorList.add(editor);
 		return incrementEID;
 	}