# HG changeset patch
# User pin
# Date 1220061420 -32400
# Node ID 0beb2bcfefe21743ab3ac0647924ba07a2d630b4
# Parent  2f0a0448de6b6af224e78842e57d9cc3b3d05368
*** empty log message ***

diff -r 2f0a0448de6b -r 0beb2bcfefe2 rep/SessionManager.java
--- a/rep/SessionManager.java	Sat Aug 30 10:50:14 2008 +0900
+++ b/rep/SessionManager.java	Sat Aug 30 10:57:00 2008 +0900
@@ -387,7 +387,7 @@
 			Editor editor = session.getEditor(channel);
 			Editor prevEditor = session.getPrevEditor(editor);
 			
-			//マージ中は前のエディタからのコマンドを受信しない
+			//マージ中のエディタはコマンドを受け取らない
 			if(editor.isMerging()){
 				//Handlerを切り替える
 				setMergeState(prevEditor.getChannel(), session.getSID());