开通博客赚积分
发布资源赚积分
分类

源码开发语言/平台
当前位置：首页 > 源码/资料 > Internet/网络编程 > 搜索引擎 > 查看源码
tool.properties
资源名称：jspider-src-0.5.0-dev.zip　[点击查看]
上传用户：qing5858
上传日期：2015-10-27
资源大小：6056k
文件大小：1k
源码类别：

搜索引擎

开发平台：

Java

tool.properties：源码内容
  1. # -----------------------------------------------------------------------------
  2. # Tool Plugin Configuration File
  3. # -----------------------------------------------------------------------------
  4. #
  5. # $Id: tool.properties,v 1.2 2003/04/02 20:54:57 vanrogu Exp $
  6. #
  7. # -----------------------------------------------------------------------------
  9. plugin.class=net.javacoding.jspider.tool.plugin.ToolPlugin
  11. plugin.filter.enabled=false
  13. plugin.filter.engine=net.javacoding.jspider.mod.eventfilter.AllowAllEventFilter
  14. plugin.filter.monitoring=net.javacoding.jspider.mod.eventfilter.AllowAllEventFilter
  15. plugin.filter.spider=net.javacoding.jspider.mod.eventfilter.AllowAllEventFilter