# HG changeset patch
# User pin
# Date 1220164024 -32400
# Node ID e6c7a56ff7f1d4d6e42f584e5655a48c179d4245
# Parent  cbd67817e9cddc1d3e1239e20c176f0217c3c91f
*** empty log message ***

diff -r cbd67817e9cd -r e6c7a56ff7f1 rep/RPanel.java
--- a/rep/RPanel.java	Sun Aug 31 13:55:39 2008 +0900
+++ b/rep/RPanel.java	Sun Aug 31 15:27:04 2008 +0900
@@ -75,7 +75,7 @@
 
 		this.setLayout(null);
 		this.add(textField);
-		this.add( connectButton);
+		this.add(connectButton);
 		this.add(label);
         this.add(s_sp);
         this.add(e_sp);
diff -r cbd67817e9cd -r e6c7a56ff7f1 rep/SessionManager.java
--- a/rep/SessionManager.java	Sun Aug 31 13:55:39 2008 +0900
+++ b/rep/SessionManager.java	Sun Aug 31 15:27:04 2008 +0900
@@ -75,6 +75,11 @@
 		editorList = new LinkedList<Editor>();
 		waitingCommandInMerge = new LinkedList<PacketSet>();
 		waitingQueue = new LinkedBlockingQueue<SessionManagerEvent>();
+		
+		//デフォルトのSessionを作っておく（テスト用に？）
+		if(sessionList.size() > 0) System.out.println("Error : SessionManager.init():");
+		Session defaultSession = new Session(sessionList.size(), "DefaultSession.txt", new Editor(0,null));
+		sessionList.add(defaultSession);
 
 	}