# HG changeset patch
# User pin
# Date 1198382566 -32400
# Node ID c0157dc9cb758891dfee9f36f8ab18626807bce0
# Parent  04a1ab6251217ebb7d8f840e245470e2cf1cb440
*** empty log message ***

diff -r 04a1ab625121 -r c0157dc9cb75 rep/xml/SessionXMLDecoder.java
--- a/rep/xml/SessionXMLDecoder.java	Sun Dec 23 12:54:59 2007 +0900
+++ b/rep/xml/SessionXMLDecoder.java	Sun Dec 23 13:02:46 2007 +0900
@@ -44,7 +44,7 @@
 			DocumentBuilderFactory factory = DocumentBuilderFactory.newInstance();
 			DocumentBuilder builder = factory.newDocumentBuilder();
 			InputSource source = new InputSource(new StringReader(string));
-			source.setEncoding("UTF-8");
+			//source.setEncoding("UTF-8");
 			Document doc = builder.parse(source);
 			Element root = doc.getDocumentElement();