diff -r 4fb42f4d61df -r a0745bc36660 Admin/linktest --- a/Admin/linktest Tue Oct 04 10:58:46 2005 +0200 +++ b/Admin/linktest Tue Oct 04 11:15:09 2005 +0200 @@ -32,9 +32,9 @@ mkdir -p /tmp/isa_linktest dir=$(pwd) cd /tmp/isa_linktest -exec wget --non-verbose --cookies=off --recursive --convert-links --page-requisites \ +exec wget --non-verbose --cookies=off --recursive --reject='GraphBrowser.class' --convert-links --page-requisites \ --delete-after \ "$url" \ - 2>&1 | "$GREP" -i -B1 "ERROR" + 2>&1 | tee /tmp/isa_linktest.report | "$GREP" -i -B1 "ERROR" cd "$dir" rm -rf /tmp/isa_linktest