- #
- # Configuration file for filterset that will be used when copying ./res/conf
- #
- # $Id: config.properties,v 1.1 2003/01/23 21:20:51 vanrogu Exp $
- #
- jspider.proxy.use=false
- jspider.proxy.host=
- jspider.proxy.port=
- jspider.proxy.authenticate=false
- jspider.proxy.user=
- jspider.proxy.password=