projects
/
IRC.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
eb9029a
)
fix bug
author
bdemsky
<bdemsky>
Sat, 2 Jun 2007 19:16:59 +0000
(19:16 +0000)
committer
bdemsky
<bdemsky>
Sat, 2 Jun 2007 19:16:59 +0000
(19:16 +0000)
Robust/src/Benchmarks/Spider/BRTag/Spider.java
patch
|
blob
|
history
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;