mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 8318d8 | patch | commitdiff
Christophe Sovant
05.48.2013 98cf5777b6dde0010886b6f2cfbac01e5ddf0c92
refs
author Christophe Sovant <christophe.sovant@forgerock.com>
Thursday, December 5, 2013 23:48 +0100
committer Christophe Sovant <christophe.sovant@forgerock.com>
Thursday, December 5, 2013 23:48 +0100
commit98cf5777b6dde0010886b6f2cfbac01e5ddf0c92
tree efa6374e04ebe957fe0260a4268004b506a0c243 tree | zip | gz
parent 8318d88bbe9453debdd86bdc7f96a9808c0874a8 view | diff 
If the server hangs, dump stack trace of the server process before kill it
1 files modified
27 ■■■■■ changed files
opends/tests/staf-tests/shared/functions/utils.xml 27 ●●●●● diff | view | raw | blame | history