mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 098330 | patch | commitdiff
dugan
14.57.2007 e72bf7841aacbc57df9958d1ad4778a04d7dab2d
refs
author dugan <dugan@localhost>
Friday, September 14, 2007 15:57 +0200
committer dugan <dugan@localhost>
Friday, September 14, 2007 15:57 +0200
commite72bf7841aacbc57df9958d1ad4778a04d7dab2d
tree 9b3c5f8eb5bf7a23bc9adfca23f70df2fcdbb2f3 tree | zip | gz
parent 0983300151552dc321d102bb0786a07fc2454e1b view | diff 
Fix problem were a plugin's plugin types were not being re-registered after changing them with dsconfig.
1 files modified
20 ■■■■■ changed files
opends/src/server/org/opends/server/core/PluginConfigManager.java 20 ●●●●● diff | view | raw | blame | history