From 6df3e07ce1ca47ee4413beab09e983bb0f3a89fd Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 24 May 2007 18:08:17 +0000
Subject: [PATCH] clean up display do string processing correctly

---
 Robust/src/Benchmarks/TTTTag/TTTServerSocket.java | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Robust/src/Benchmarks/TTTTag/TTTServerSocket.java b/Robust/src/Benchmarks/TTTTag/TTTServerSocket.java
index 684269d3..4d6b8852 100644
--- a/Robust/src/Benchmarks/TTTTag/TTTServerSocket.java
+++ b/Robust/src/Benchmarks/TTTTag/TTTServerSocket.java
@@ -42,7 +42,7 @@ public class TTTServerSocket {
 			//Get col
 			String s2 = new String(s.subString(i1+2));
 			int i2 = s2.indexOf(':');
-			String colStr = new String(s.subString(i2+1, i2+2));
+			String colStr = new String(s2.subString(i2+1, i2+2));
 			col = Integer.parseInt(colStr);
 			return 1;
 			
@@ -59,8 +59,8 @@ public class TTTServerSocket {
 	}
 	
 	public void sendBoardDisplay(Board theBoard, Socket s) {
-		StringBuffer line1 = new String ("display_");
-
+		StringBuffer line1 = new StringBuffer("\n\n");
+		
 		for (int i = 0; i < 3; i++) {
 			for (int j = 0; j < 3; j++) {
 				if (theBoard.board[i][j] == 1)
@@ -70,7 +70,7 @@ public class TTTServerSocket {
 				else
 					line1.append("-");
 			}
-			line1.append("_");
+			line1.append("\n");
 		}
 		String towrite = new String(line1);
 		s.write(towrite.getBytes());
-- 
2.34.1