# HG changeset patch
# User pin
# Date 1198387933 -32400
# Node ID 0acf4df243c7c40d7103acebac979867acd04f9d
# Parent  fe8306c6c8bf5ebb74dad777748a6c65fc63d27a
*** empty log message ***

diff -r fe8306c6c8bf -r 0acf4df243c7 rep/SessionManager.java
--- a/rep/SessionManager.java	Sun Dec 23 13:54:14 2007 +0900
+++ b/rep/SessionManager.java	Sun Dec 23 14:32:13 2007 +0900
@@ -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");
 		if(args.length > 0){
 			port = Integer.parseInt(args[0]);
 			port_s = Integer.parseInt(args[1]);