From 171a83e021ecd2ff557991d74e5b5de509961890 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sat, 2 Jun 2007 19:16:59 +0000
Subject: [PATCH] fix bug

---
 Robust/src/Benchmarks/Spider/BRTag/Spider.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Robust/src/Benchmarks/Spider/BRTag/Spider.java b/Robust/src/Benchmarks/Spider/BRTag/Spider.java
index 80be0274..e3fd3679 100644
--- a/Robust/src/Benchmarks/Spider/BRTag/Spider.java
+++ b/Robust/src/Benchmarks/Spider/BRTag/Spider.java
@@ -95,7 +95,9 @@ task processPage(Query q{received&&!processed}, QueryList ql{initialized}) {
 		System.printString("        ");
 		System.printString(q.getPathName(match));
 		System.printString("\n");
-		Query newq=new Query(q.getHostName(match), q.getPathName(match)){};
+		tag t=new tag(connect);
+		Socket s=new Socket(){}{t};
+		Query newq=new Query(q.getHostName(match), q.getPathName(match)){}{t};
 	    }
 	    index=endquote;
 	} else cont=false;
-- 
2.34.1