# HG changeset patch
# User pin
# Date 1195200654 -32400
# Node ID 13e4c3f2c6f9e0bad0ea1137e384a7896638732f
# Parent  99196780bbf5bc92c0ab225f0eeb99c4c65cab6d
*** empty log message ***

diff -r 99196780bbf5 -r 13e4c3f2c6f9 rep/Session.java
--- a/rep/Session.java	Fri Nov 16 17:04:09 2007 +0900
+++ b/rep/Session.java	Fri Nov 16 17:10:54 2007 +0900
@@ -13,6 +13,7 @@
 	private String masterPort;
 	private LinkedList<REPNode> routingTable = new LinkedList<REPNode>();
 	private int incrementEID;
+	private boolean isOwner = false;
 	
 	public Session(int sessionID, String string, SocketChannel channel) {
 		masterEditor = new Editor(sessionID, channel);
@@ -58,6 +59,9 @@
 		routingTable.add(new REPNode(editor));
 	}
 	public boolean isOwner() {
-		return true;
+		return isOwner;
+	}
+	public void setOwner(boolean b) {
+		isOwner = true;
 	}
 }
diff -r 99196780bbf5 -r 13e4c3f2c6f9 rep/SessionManager.java
--- a/rep/SessionManager.java	Fri Nov 16 17:04:09 2007 +0900
+++ b/rep/SessionManager.java	Fri Nov 16 17:10:54 2007 +0900
@@ -151,6 +151,7 @@
 			editor.setEID(1);
 			editor.setName(repCmd.string);
 			Session session = new Session(editor);
+			session.setOwner(true);
 			session.addEditor(editor);
 			sessionlist.addSession(session);
 			sessionmanagerGUI.setComboSession(session.getSID(), session.getName());