Admin/linktest
changeset 17750 a0745bc36660
parent 17674 b1aedbc9125a
child 36859 51af1657263b
--- 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