configs/plugin_settings.cfg
changeset 199 2def43badf30
child 479 f830a0fca0d2
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/configs/plugin_settings.cfg	Fri Dec 08 22:15:15 2006 +0000
     1.3 @@ -0,0 +1,32 @@
     1.4 +/**
     1.5 + *   Each sub-section of "Plugins" should have a title which specifies a plugin filename.
     1.6 + * Filenames have a wildcard of *.  Appending .amxx is not required.
     1.7 + * If the filename has no explicit path, it will be patched to any sub-path in the plugins folder.
     1.8 + *
     1.9 + *   Available properties for plugins are:
    1.10 + * "pause"	- Whether or not the plugin should load paused - "yes" or "no" (defualt)
    1.11 + * "lifetime"	- Lifetime of the plugin.  Options:
    1.12 + *                "private"	- Plugin is privately maintained and receives no forwards from Core
    1.13 + *		  "mapsync"	- Plugins should be reloaded on mapchange if changed (default)
    1.14 + *		  "maponly"	- Plugin should be unloaded at the end of the map
    1.15 + *		  "global"	- Plugin will never be unloaded or updated
    1.16 + *
    1.17 + * You can also have an "Options" section declaring options to pass onto the JIT:
    1.18 + * "debug"		- Whether or not to load the plugin in debug mode
    1.19 + * "inl_errors"		- Internal optimization to inline error checks.  Results in larger but faster code.
    1.20 + * "inl_natives"	- Internal optimization to inline native calls.  Results in larger code (unknown speed effect).
    1.21 + */
    1.22 +	
    1.23 +"Plugins"
    1.24 +{
    1.25 +	"*"
    1.26 +	{
    1.27 +		"pause"			"no"
    1.28 +		"lifetime"		"mapsync"
    1.29 +		
    1.30 +		"Options"
    1.31 +		{
    1.32 +			"debug"		"no"
    1.33 +		}
    1.34 +	}
    1.35 +}