mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 2bab89 | patch | commitdiff
Christophe Sovant
21.00.2013 b6f4914bb5b5d33a6565e61e9ce4da9b7d6fa1d4
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
commitb6f4914bb5b5d33a6565e61e9ce4da9b7d6fa1d4
tree 0a9841d20377c028cbcf096387c6f2c939dae7a2 tree | zip | gz
parent 2bab8946d210e6795e98ae6277a1e9f102d15458 view | diff 
If a server fails to stop, kill it to avoid impact on other testcases
1 files modified
9 ■■■■■ changed files
opends/tests/staf-tests/shared/functions/utils.xml 9 ●●●●● diff | view | raw | blame | history