mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 0fa33a | patch | commitdiff
Chris Ridd
05.42.2014 f7c5ce48062ef5c62d062fb9f0cf401419c7a7ee
refs
author Chris Ridd <chris.ridd@forgerock.com>
Wednesday, February 5, 2014 16:42 +0100
committer Chris Ridd <chris.ridd@forgerock.com>
Wednesday, February 5, 2014 16:42 +0100
commitf7c5ce48062ef5c62d062fb9f0cf401419c7a7ee
tree 26d0e687a98f0a87cdfc5f5e9ffcbefcd8aeb4ac tree | zip | gz
parent 0fa33a42c9ad39816ef9be7b84035be76ac74a40 view | diff 
Fix OPENDJ-1322: Control-Panel.bat can not start and stop the OpenDJ server when running as a windows service
3 files modified
60 ■■■■■ changed files
opends/resource/bin/start-ds.bat 8 ●●●●● diff | view | raw | blame | history
opends/resource/bin/stop-ds.bat 8 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/tools/JavaPropertiesTool.java 44 ●●●●● diff | view | raw | blame | history