From: bdemsky <bdemsky>
Date: Sat, 2 Jun 2007 19:16:59 +0000 (+0000)
Subject: fix bug
X-Git-Tag: preEdgeChange~560
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=171a83e021ecd2ff557991d74e5b5de509961890;p=IRC.git

fix bug
---

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;