fix bug

diff --git a/Robust/src/Benchmarks/Spider/BRTag/Spider.java b/Robust/src/Benchmarks/Spider/BRTag/Spider.java
index 80be0274e7e89f44165ae8a62cb9237ef318eff6..e3fd3679b4767ed9649bc9247cf4d242c651f003 100644 (file)
--- 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;