--- a/rep/REPPacketReceive.java	Fri Nov 02 14:15:26 2007 +0900
+++ b/rep/REPPacketReceive.java	Fri Nov 02 14:49:42 2007 +0900
@@ -67,19 +67,19 @@
 		//System.out.println(string);
 		//getSocket(string);
 		REPCommand repcommand = new REPCommand(cmd, sid, eid, seqid, lineno, textsiz, string);
+		getSocket(repcommand);
 		System.out.println("received command: " + repcommand.toString());
 		return repcommand;
 	}
 
 
-	private void getSocket(String string) {
-		StringTokenizer st = new StringTokenizer(string, "/");
-		String hostport = null;
-		while(st.hasMoreTokens()){
-			hostport = st.nextToken();
-		}
-		StringTokenizer st2 = new StringTokenizer(hostport, ":");
+	private void getSocket(REPCommand command) {
+		String string = command.string;
+		StringTokenizer st2 = new StringTokenizer(string, ":");
 		host = st2.nextToken();
-		port = Integer.parseInt(st2.nextToken());
+		String portstring = st2.nextToken();
+		port = Integer.parseInt(portstring);
+		int socketInfoLength = host.length() + portstring.length() + 1;
+		command.setString(string.substring(0, string.length() - socketInfoLength));
 	}
 }