# HG changeset patch
# User pin
# Date 1197344914 -32400
# Node ID 13819571691d3e723c41219a6972891cdc3cfa07
# Parent  f7a9b323458bfeed25b8116e9a29afee19d16414
*** empty log message ***

diff -r f7a9b323458b -r 13819571691d rep/SessionManager.java
--- a/rep/SessionManager.java	Tue Dec 11 12:35:01 2007 +0900
+++ b/rep/SessionManager.java	Tue Dec 11 12:48:34 2007 +0900
@@ -296,7 +296,10 @@
 	}
 	
 	private boolean setMaxHost(SocketChannel channel, String host) {
-		if(maxHost == null) maxHost = myHost;
+		if(maxHost == null) {
+			maxHost = myHost;
+			sessionlist.setMaxHost(maxHost);
+		}
 		if(host.compareTo(maxHost) < 0){
 			//host > MaxHost なら maxHost = host
 			//masterを設定する。
@@ -311,6 +314,10 @@
 
 	private void setMyHostName(String localHostName) {
 		myHost = localHostName;
+		if(maxHost == null) {
+			maxHost = myHost;
+			sessionlist.setMaxHost(maxHost);
+		}
 		allEditorList.setHost(myHost);
 	}
 
@@ -368,6 +375,7 @@
 		
 		//hostnameをセット。
 		this.setMyHostName(getLocalHostName(channel));
+		//this.setMaxHost(channel, getLocalHostName(channel));
 		SessionXMLEncoder encoder = new SessionXMLEncoder(sessionlist);
 		String string = encoder.sessionListToXML();
 		command.setString(string);