Project

General

Profile

Revision 61df3cb9 src/plugins.ml

View differences:

src/plugins.ml
8 8
    List.map Options_management.plugin_opt (
9 9
      List.map (fun m ->
10 10
	let module M = (val m : PluginType.PluginType) in
11
	(M.name, M.activate, M.options)
11
	(M.name, M.activate, M.usage, M.options)
12 12
      ) plugins
13 13
    ))
14

  
15
let init () =
16
  List.iter (fun m ->
17
      let module M = (val m : PluginType.PluginType) in
18
      M.init ()
19
    ) plugins
14 20
  
15 21
let check_force_stateful () =
16 22
  List.exists (fun m ->

Also available in: Unified diff