mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 699606 | patch | commitdiff
neil_a_wilson
14.51.2007 873c5e7a10dc487f9f70719717eed7fd42e3bb13
refs
author neil_a_wilson <neil_a_wilson@localhost>
Friday, September 14, 2007 17:51 +0200
committer neil_a_wilson <neil_a_wilson@localhost>
Friday, September 14, 2007 17:51 +0200
commit873c5e7a10dc487f9f70719717eed7fd42e3bb13
tree 58e2238a75085d144214d81862709858ee4597de tree | zip | gz
parent 69960614411c1ed7c41c5b8002c557370a76eab0 view | diff 
Revert a change (committed in revision 3066) that added support for changing
the plugin type values on the fly and update the configuration definition to
indicate that this is not supported and to note that changes to the defined
plugin types will only take effect if the plugin is disabled and re-enabled or
the server is restarted.
2 files modified
26 ■■■■■ changed files
opends/src/admin/defn/org/opends/server/admin/std/PluginConfiguration.xml 6 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/core/PluginConfigManager.java 20 ●●●●● diff | view | raw | blame | history