mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: dfe735 | patch | commitdiff
Gaetan Boismal
12.28.2015 c6ce7e613e4e85f77c2a6d5dd818f8a1f552ceae
refs
author Gaetan Boismal <gaetan.boismal@forgerock.com>
Thursday, November 12, 2015 10:28 +0100
committer Gaetan Boismal <gaetan.boismal@forgerock.com>
Thursday, November 12, 2015 10:38 +0100
commitc6ce7e613e4e85f77c2a6d5dd818f8a1f552ceae
tree df81f20eddc2790979398a6dd8519374aeb2e6fe tree | zip | gz
parent dfe735ecffd9f22a56e2f507f9fab6b205067900 view | diff 
OPENDJ-2427 Maven resource filtering not working in GUI setup

Performs missing maven property renaming from shortProductName to
product.name
This renaming has been initiated in 7780493b2ff
4 files modified
11 ■■■■■ changed files
opendj-server-legacy/src/main/resources/META-INF/opendj.properties 4 ●●●●● diff | view | raw | blame | history
opendj-server-legacy/src/main/resources/java-stubs/org/opends/server/util/DynamicConstants.java 2 ●●●●● diff | view | raw | blame | history
opendj-server/pom.xml 1 ●●●●● diff | view | raw | blame | history
opendj-server/src/main/resources/META-INF/product/opendj.properties 4 ●●●●● diff | view | raw | blame | history