diff rep/handler/Editor.java @ 407:de4ef4313adc current-release

looks like working...
author one
date Tue, 25 Nov 2008 17:54:54 +0900
parents 8009dd7b2013
children 2724cf17e9f3
line wrap: on
line diff
--- a/rep/handler/Editor.java	Tue Nov 25 09:07:52 2008 +0900
+++ b/rep/handler/Editor.java	Tue Nov 25 17:54:54 2008 +0900
@@ -23,7 +23,7 @@
 	private boolean merging;
 	private REPCommand preMergeCommand;
 	public static boolean noMergeMode=false;
-	static final boolean doOptimize = true;
+	static final boolean doOptimize = false;
 
 	public Editor(SessionManager manager,int editorNo){
 		// no translator case
@@ -131,7 +131,7 @@
 			addWaitingCommand(new PacketSet(getChannel(), this, new REPCommand(command)));
 			return true;
 		} 
-		ServerMainLoop.logger.writeLog("Editor eid:"+eid+" no waiting");
+		//ServerMainLoop.logger.writeLog("Editor eid:"+eid+" no waiting");
 		return false;
 	}
 
@@ -148,7 +148,7 @@
 	private void sendEditorCommand(REPCommand command) {
 		REPCommand keep = new REPCommand(command);
 		sentList.add(keep);
-		ServerMainLoop.logger.writeLog("Editor eid:"+eid+" sentList = "+sentList);
+		//ServerMainLoop.logger.writeLog("Editor eid:"+eid+" sentList = "+sentList);
 		assert(sentList.size()<limit);
 		next.send(command);
 	}
@@ -264,7 +264,7 @@
 			default: assert(false);
 			}
 			sentList.add(keep);
-			ServerMainLoop.logger.writeLog("Editor eid:"+eid+" sentList = "+sentList);
+			//ServerMainLoop.logger.writeLog("Editor eid:"+eid+" sentList = "+sentList);
 			assert(sentList.size()<limit);
 			next.send(keep);
 		} else {