mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: a0e29b | patch | commitdiff
abobrov
30.10.2009 ef73b392c67d1fd15ec6a2a3ea1b587bb4709b5a
refs
author abobrov <abobrov@localhost>
Thursday, April 30, 2009 17:10 +0200
committer abobrov <abobrov@localhost>
Thursday, April 30, 2009 17:10 +0200
commitef73b392c67d1fd15ec6a2a3ea1b587bb4709b5a
tree 5f98b5517ba7b1ff42ed78b3ba7add0725368e24 tree | zip | gz
parent a0e29bcfe05d737bb1b644d282b2383ee6126bad view | diff 
- plug ConcurrentModificationException highlighted by nightly tests.
2 files modified
67 ■■■■■ changed files
opendj-sdk/opends/src/server/org/opends/server/backends/task/TaskBackend.java 65 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/server/org/opends/server/backends/task/TaskScheduler.java 2 ●●●●● diff | view | raw | blame | history