mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 710223 | patch | commitdiff
Christophe Sovant
21.00.2013 24d7bc883539e5214eaa2fa893b7f75822ad3aef
refs
author Christophe Sovant <christophe.sovant@forgerock.com>
Thursday, November 21, 2013 18:00 +0100
committer Christophe Sovant <christophe.sovant@forgerock.com>
Thursday, November 21, 2013 18:00 +0100
commit24d7bc883539e5214eaa2fa893b7f75822ad3aef
tree 5487e84eea9f4c852721cd1f3eb9b4a6616656dc tree | zip | gz
parent 710223eef4a63508e9ff0066911f8b61afcf36ee view | diff 
If a server fails to stop, kill it to avoid impact on other testcases
1 files modified
9 ■■■■■ changed files
opendj-sdk/opends/tests/staf-tests/shared/functions/utils.xml 9 ●●●●● diff | view | raw | blame | history