mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: de3fde | patch | commitdiff
jvergara
25.34.2008 7be00c19c4cafc2678d1867d0702b981296cab87
refs
author jvergara <jvergara@localhost>
Wednesday, June 25, 2008 17:34 +0200
committer jvergara <jvergara@localhost>
Wednesday, June 25, 2008 17:34 +0200
commit7be00c19c4cafc2678d1867d0702b981296cab87
tree 90b32d2c4af3ded36a8e25047c4476322641c26e tree | zip | gz
parent de3fde4c481bcb00df7b0ce60e80f1482e538a85 view | diff 
Check that the path where we must store the equivalent command-lines is not an existing directory.
2 files modified
14 ■■■■■ changed files
opends/src/messages/messages/dsconfig.properties 4 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/tools/dsconfig/DSConfig.java 10 ●●●●● diff | view | raw | blame | history