tool.properties
上传用户:qing5858
上传日期:2015-10-27
资源大小:6056k
文件大小:1k
- # -----------------------------------------------------------------------------
- # Tool Plugin Configuration File
- # -----------------------------------------------------------------------------
- #
- # $Id: tool.properties,v 1.2 2003/04/02 20:54:57 vanrogu Exp $
- #
- # -----------------------------------------------------------------------------
- plugin.class=net.javacoding.jspider.tool.plugin.ToolPlugin
- plugin.filter.enabled=false
- plugin.filter.engine=net.javacoding.jspider.mod.eventfilter.AllowAllEventFilter
- plugin.filter.monitoring=net.javacoding.jspider.mod.eventfilter.AllowAllEventFilter
- plugin.filter.spider=net.javacoding.jspider.mod.eventfilter.AllowAllEventFilter