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