# HG changeset patch
# User one
# Date 1284306574 -32400
# Node ID bd086be276d2a385764d8b47316d04cdd2f262a7
# Parent  3819dec4641eb43a85acf98d36f2a93a9171e0dc
minor fix

diff -r 3819dec4641e -r bd086be276d2 rep/handler/Editor.java
--- a/rep/handler/Editor.java	Sun Sep 12 22:23:53 2010 +0900
+++ b/rep/handler/Editor.java	Mon Sep 13 00:49:34 2010 +0900
@@ -393,7 +393,10 @@
 		return true;
 	}
 	
-
+	/**
+	 * send command to the editor
+	 *   called from another Editor instance such as next.send(command)
+	 */
 	@Override
 	public void send(REPCommand command) {
 		if (command.eid == REP.MERGE_EID.id || 
@@ -463,7 +466,8 @@
 			}
 			PacketSet p = w.remove(0);
 			try {
-				manage(p.command);
+				send(p.command);
+				// manage(p.command);
 			} catch (Exception e1) {
 				assert false;
 				manager.close(p.channel);