From 81aa5d907b25890dede9ac24ee5c522e205d100a Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 16 Apr 2007 13:42:19 +0000
Subject: [PATCH] more changes

---
 Robust/src/Benchmarks/Spider/tests/generate.java | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/Robust/src/Benchmarks/Spider/tests/generate.java b/Robust/src/Benchmarks/Spider/tests/generate.java
index c04145e8..0710a702 100644
--- a/Robust/src/Benchmarks/Spider/tests/generate.java
+++ b/Robust/src/Benchmarks/Spider/tests/generate.java
@@ -5,16 +5,17 @@ public class generate {
 	int MAX=100;
 	int current=0;
 	int currentref=1;
-	while(current<currentref) {
+	while(current<MAX) {
 	    try {
 	    String filename=current+".html";
 	    FileOutputStream fos=new FileOutputStream(filename);
 	    PrintStream ps=new PrintStream(fos);
 	    int count=0;
-	    while(currentref<MAX) {
+	    while(true) {
 		if ((count++)>2)
 		    break;
-		String reffile=currentref+".html";
+		int cc=currentref%MAX;
+		String reffile=cc+".html";
 		ps.println("<a href=\""+reffile+"\">"+reffile+"</a>");
 		currentref++;
 	    }
-- 
2.34.1