Module Server_parameters

module Server_parameters: sig .. end
Server Plugin & Options

include Plugin.General_services
module Idle: Parameter_sig.Int 
Idle waiting time (in ms)
module Rate: Parameter_sig.Int 
Number of fetch per yield
module Doc: Parameter_sig.String 
Generate documentation
module Log: Parameter_sig.Bool 
Monitor logs
val wpage : warn_category
Inconsistent page warning
val wkind : warn_category
Inconsistent category warning
val wname : warn_category
Invalid name warning