mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 99b80c | patch | commitdiff
Fabio Pistolesi
25.14.2015 08b01c14a5ed6bcecd2ae7da76cd342d01d18fb0
refs
author Fabio Pistolesi <fabio.pistolesi@forgerock.com>
Wednesday, November 25, 2015 13:14 +0100
committer Fabio Pistolesi <fabio.pistolesi@forgerock.com>
Wednesday, November 25, 2015 14:47 +0100
commit08b01c14a5ed6bcecd2ae7da76cd342d01d18fb0
tree 311b177deb24a465c7726d1db7b35949cb07c84c tree | zip | gz
parent 99b80cd414fd73af73dfa07be202fd32e9bc498d view | diff 
OPENDJ-2456 Server startup failed while attempting to release a shared lock

Original occurrence does not seem to be reproducible.
However, log messages are a bit lean on the details, so try to gather more information for next time.
1 files modified
13 ■■■■■ changed files
opendj-server-legacy/src/main/java/org/opends/server/core/SynchronizationProviderConfigManager.java 13 ●●●●● diff | view | raw | blame | history