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

looks like working...
author one
date Tue, 25 Nov 2008 17:54:54 +0900
parents 149c9a53fc37
children 795ef563f2a0
line wrap: on
line diff
--- a/rep/handler/Translator.java	Tue Nov 25 09:07:52 2008 +0900
+++ b/rep/handler/Translator.java	Tue Nov 25 17:54:54 2008 +0900
@@ -8,6 +8,7 @@
 
 import rep.REP;
 import rep.REPCommand;
+import rep.SessionManager;
 import rep.optimizers.REPCommandOptimizer;
 
 public class Translator {
@@ -194,6 +195,16 @@
 				returnCommand.add(command);
 			}
 		}
+		int count = 0;
+		for(REPCommand command: returnCommand) {
+			switch(command.cmd) {
+			case REPCMD_INSERT: count++; break;
+			case REPCMD_DELETE: count--; break;
+			default: assert false;
+			}
+		}
+		SessionManager.logger.writeLog("MergeAgain ret="+returnCommand.size()+
+				" increment="+count);
 		mergeAgainList.clear();
 		optimizedSend(editor, returnCommand);
 	}