# HG changeset patch
# User pin
# Date 1195197321 -32400
# Node ID b30c1c73d7efd48286023128af57914a67b1bb3d
# Parent  c8b66e3d13d1dced8cd2e293d75e73b3c9bc80dc
*** empty log message ***

diff -r c8b66e3d13d1 -r b30c1c73d7ef rep/SessionManager.java
--- a/rep/SessionManager.java	Fri Nov 16 16:10:08 2007 +0900
+++ b/rep/SessionManager.java	Fri Nov 16 16:15:21 2007 +0900
@@ -151,6 +151,7 @@
 			editor.setEID(1);
 			editor.setName(repCmd.string);
 			Session session = new Session(editor);
+			session.addEditor(editor);
 			sessionlist.addSession(session);
 			sessionmanagerGUI.setComboSession(session.getSID(), session.getName());
 			sessionmanagerGUI.setComboEditor(editor.getEID(), editor.getChannel());