mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: a64eec | patch | commitdiff
jcambon
09.08.2009 c22f0fcf3eb1eb76298874d6143b1acc42ee208c
refs
author jcambon <jcambon@localhost>
Thursday, April 9, 2009 12:08 +0200
committer jcambon <jcambon@localhost>
Thursday, April 9, 2009 12:08 +0200
commitc22f0fcf3eb1eb76298874d6143b1acc42ee208c
tree 4918c3def754ebbea7efbe4ac8f29f56ff242fc8 tree | zip | gz
parent a64eeca99c07bc4bdbb65d4a3643dc77c65f2095 view | diff 
Fix for issue #3814 : start-ds script return before server has started
5 files modified
66 ■■■■■ changed files
opends/resource/bin/start-ds 8 ●●●●● diff | view | raw | blame | history
opends/resource/bin/start-ds.bat 10 ●●●●● diff | view | raw | blame | history
opends/src/messages/messages/core.properties 13 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/core/DirectoryServer.java 16 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/tools/WaitForFileDelete.java 19 ●●●●● diff | view | raw | blame | history