changeset 113:ce84d70b6cc9

*** empty log message ***
author pin
date Sun, 23 Dec 2007 14:39:45 +0900
parents 0acf4df243c7
children ea86e343a64b
files rep/SessionManager.java rep/xml/SessionXMLEncoder.java
diffstat 2 files changed, 5 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/rep/SessionManager.java	Sun Dec 23 14:32:13 2007 +0900
+++ b/rep/SessionManager.java	Sun Dec 23 14:39:45 2007 +0900
@@ -160,8 +160,8 @@
 			editor.setHost(myHost);
 			allEditorList.addEditor(editor);
 			editor.setEID(1);
-			String string2 = setUTF16(receivedCommand.string);
-			editor.setName(string2);
+			//String string2 = setUTF16(receivedCommand.string);
+			//editor.setName(string2);
 			//editor.setName(receivedCommand.string);
 			session = new Session(editor);
 			session.setOwner(true);
@@ -438,7 +438,7 @@
 	public static void main(String[] args) throws InterruptedException, IOException {
 		int port = DEFAULT_PORT;
 		int port_s = DEFAULT_PORT;
-		System.setProperty("file.encoding", "UTF-8");
+		//System.setProperty("file.encoding", "UTF-8");
 		if(args.length > 0){
 			port = Integer.parseInt(args[0]);
 			port_s = Integer.parseInt(args[1]);
--- a/rep/xml/SessionXMLEncoder.java	Sun Dec 23 14:32:13 2007 +0900
+++ b/rep/xml/SessionXMLEncoder.java	Sun Dec 23 14:39:45 2007 +0900
@@ -94,6 +94,7 @@
 								Element elementName = doc.createElement("file");
 								elementEditor.appendChild(elementName);
 								elementName.setTextContent(editor.getName());
+								System.out.println(editor.getName());
 							}
 						}
 					}
@@ -107,6 +108,7 @@
 				}catch (Exception e){
 					e.printStackTrace();
 				}
+				System.out.println(str.toString());
 				return str.toString();
 			}
 }