diff src/jungle/app/bbs/JungleManager.java @ 95:dcd767b76f8d

Modified putDataSement for to use NetworkTreeOperationLog
author one
date Mon, 18 Nov 2013 17:08:17 +0900
parents 75cf01a430a6
children fcce7ca4adb9
line wrap: on
line diff
--- a/src/jungle/app/bbs/JungleManager.java	Fri Nov 15 12:36:36 2013 +0900
+++ b/src/jungle/app/bbs/JungleManager.java	Mon Nov 18 17:08:17 2013 +0900
@@ -98,7 +98,7 @@
 			}
 		}
 		JungleTree tree = jungle.getTreeByName(treeName);
-		JungleTreeEditor editor = tree.getTreeEditor();
+		JungleTreeEditor editor = tree.getLocalTreeEditor();
 		int pos = calculatePosition(tree.getRootNode(), container.getTimeStamp());
 		Either<Error, JungleTreeEditor> either = JungleManager.edit(editor, log, pos);
 		if(either.isA()) {