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

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

搜索引擎

开发平台：

Java

plugin.properties：源码内容
  1. # -----------------------------------------------------------------------------
  2. # General event filters
  3. # -----------------------------------------------------------------------------
  4. #
  5. # $Id: plugin.properties,v 1.6 2003/04/22 16:43:33 vanrogu Exp $
  6. #
  7. # These filters are applied to events from JSpider before being dispatched to
  8. # the plugins.
  9. #
  10. # PROPERTIES:
  11. #
  12. #  jspider.filter.enabled
  13. #    determines whether event filtering should be applied in general
  14. #
  15. #  jspider.filter.engine
  16. #    the event filter that is applied upon the events coming from the JSpider
  17. #    core engine.
  18. #
  19. #  jspider.filter.monitoring
  20. #    event filter that is applied upon all monitoring related events
  21. #
  22. #  jspider.filter.spider
  23. #    event filter that is applied upon all spidering events
  24. #
  25. # -----------------------------------------------------------------------------
  27. jspider.filter.enabled=true
  28. jspider.filter.engine=net.javacoding.jspider.mod.eventfilter.AllowAllEventFilter
  29. jspider.filter.monitoring=net.javacoding.jspider.mod.eventfilter.AllowAllEventFilter
  30. jspider.filter.spider=net.javacoding.jspider.mod.eventfilter.AllowAllEventFilter
  32. # -----------------------------------------------------------------------------
  33. # Plugin Configuration
  34. # -----------------------------------------------------------------------------
  35. #
  36. # Determines which plugins will be used by JSpider
  37. # Each plugin that is defined here will be notified with the events that pass
  38. # the general event filters and the locally defined plugin filters.
  39. # Only a reference to the plugin's configuration file is put here.
  40. # Detailed configuration info for each individual plugin can be found in the
  41. # appropriate .properties file in the ./plugins folder.
  42. #
  43. # PROPERTIES:
  44. #
  45. #  jspider.plugin.count
  46. #    the number of plugins to be used
  47. #
  48. #  jspider.plugin.<nr>.config
  49. #    the name of the properties file (without .properties in the ./plugins
  50. #    folder that contains the configuration for this plugin
  51. #
  52. # -----------------------------------------------------------------------------
  54. jspider.plugin.count=4
  55. jspider.plugin.1.config=console
  56. jspider.plugin.2.config=velocity
  57. jspider.plugin.3.config=statusbasedfilewriter
  58. jspider.plugin.4.config=xmldump