#!/bin/sh
TOP=/u/veillard
CLASSPATH=$TOP:$TOP/opera/classes/classes.zip
export CLASSPATH

#JAVA=java
JAVA=$TOP/bin/Kaffe
#JAVA= strace -o bot.trace java

SERVER=http://www22.w3.org:8001
#SERVER=http://www22.w3.org

#FILTERS='w3c.www.protocol.http.DebugFilter|w3c.www.protocol.http.auth.AuthFilter'
FILTERS='w3c.www.protocol.http.auth.AuthFilter'
exec $JAVA \
        -Djava.protocol.handler.pkgs=w3c.www.protocol \
        -Dw3c.www.protocol.http.userAgent=fancyJava/1.0a \
        -Dw3c.www.protocol.http.cache.minFresh=5 \
        -Dw3c.www.protocol.http.filters="$FILTERS" \
        w3c.checker.Main -p $TOP/sun/html/parser/tests/properties -d 1\
        -in $SERVER/microscape/ \
        $SERVER/microscape/microscape.html


