Mercurial > hg > RemoteEditor > REPSessionManager

comparison rep/xml/SessionXMLDecoder.java @ 179:763aad2da6b3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
author pin
date Thu, 28 Aug 2008 22:53:05 +0900
parents 617a47cb0150
children a187180e0106
comparison
equal deleted inserted replaced
178:a097b1d619a1 179:763aad2da6b3
95 NodeList nodelistEditorFile = elementEditor.getElementsByTagName("file"); 95 NodeList nodelistEditorFile = elementEditor.getElementsByTagName("file");
96 Element elementFile = (Element) nodelistEditorFile.item(0); 96 Element elementFile = (Element) nodelistEditorFile.item(0);
97 String file = elementFile.getFirstChild().getNodeValue(); 97 String file = elementFile.getFirstChild().getNodeValue();
98 98
99 Editor editor = new Editor(); 99 Editor editor = new Editor();
100 editor.setHost(host); editor.setPort(port); editor.setName(file); editor.setEID(Integer.parseInt(eid)); 100 editor.setHost(host);/* editor.setPort(port)*/; editor.setName(file); editor.setEID(Integer.parseInt(eid));
101 session = new Session(editor); 101 session = new Session(editor);
102 session.addEditor(editor); 102 session.addEditor(editor);
103 sessionlist.addSession(session); 103 sessionlist.addSession(session);
104 104
105 }else { 105 }else {
106 Editor editor = new Editor(); 106 Editor editor = new Editor();
107 editor.setHost(host); editor.setPort(port); editor.setName(null); editor.setEID(Integer.parseInt(eid)); 107 editor.setHost(host);/* editor.setPort(port)*/; editor.setName(null); editor.setEID(Integer.parseInt(eid));
108 if(session != null){ 108 if(session != null){
109 session.addEditor(editor); 109 session.addEditor(editor);
110 //sessionlist.addSession(session); 110 //sessionlist.addSession(session);
111 } 111 }
112 } 112 }
130 130
131 Editor editor = new Editor(); 131 Editor editor = new Editor();
132 String host = nodelistEditorInfo.item(0).getTextContent(); 132 String host = nodelistEditorInfo.item(0).getTextContent();
133 editor.setHost(host); 133 editor.setHost(host);
134 String port = nodelistEditorInfo.item(1).getTextContent(); 134 String port = nodelistEditorInfo.item(1).getTextContent();
135 editor.setPort(port); 135 // editor.setPort(port);
136 if(nodelistEditorInfo.getLength() == 3){ 136 if(nodelistEditorInfo.getLength() == 3){
137 String name = nodelistEditorInfo.item(2).getTextContent(); 137 String name = nodelistEditorInfo.item(2).getTextContent();
138 editor.setName(name); 138 editor.setName(name);
139 session = new Session(editor); 139 session = new Session(editor);
140 } 140 }