diff rep/xml/SessionXMLEncoder.java @ 382:4b87f89b3afd

REP Session Manager (Java version) new structure
author one@firefly.cr.ie.u-ryukyu.ac.jp
date Mon, 10 Nov 2008 22:07:45 +0900
parents fa041bae35f1
children
line wrap: on
line diff
--- a/rep/xml/SessionXMLEncoder.java	Mon Nov 10 01:12:46 2008 +0000
+++ b/rep/xml/SessionXMLEncoder.java	Mon Nov 10 22:07:45 2008 +0900
@@ -14,9 +14,9 @@
 import org.w3c.dom.Document;
 import org.w3c.dom.Element;
 
-import rep.EditorPlus;
 import rep.Session;
 import rep.SessionList;
+import rep.handler.REPNode;
 
 public class SessionXMLEncoder {
 	DocumentBuilderFactory factory = DocumentBuilderFactory.newInstance();
@@ -64,7 +64,7 @@
 			root.appendChild(elementSession);
 			elementSession.setAttribute("sid", Integer.toString(session.getSID()));
 
-			for(EditorPlus editor : session.getEditorList()){
+			for(REPNode editor : session.getEditorList()){
 				Element elementEditor = doc.createElement("Editor");
 				elementEditor.setAttribute("eid", Integer.toString(editor.getEID()));
 				elementSession.appendChild(elementEditor);