# HG changeset patch
# User pin
# Date 1222662062 -32400
# Node ID 7a5798b7f10c914e5ff839d94b3cc95f839ab22e
# Parent  51419ad73785ad312122ca6dbd39d03bb85f119e
*** empty log message ***

diff -r 51419ad73785 -r 7a5798b7f10c rep/SessionManager.java
--- a/rep/SessionManager.java	Mon Sep 29 06:59:30 2008 +0900
+++ b/rep/SessionManager.java	Mon Sep 29 13:21:02 2008 +0900
@@ -473,7 +473,7 @@
 		
 		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]);