changeset 443:bd086be276d2

minor fix
author one
date Mon, 13 Sep 2010 00:49:34 +0900
parents 3819dec4641e
children 97593c486db6
files rep/handler/Editor.java
diffstat 1 files changed, 6 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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);