mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: db7791 | patch | commitdiff
abobrov
07.08.2009 106d2aa1c6e17707ba3b580db682010858e3daa9
refs
author abobrov <abobrov@localhost>
Thursday, May 7, 2009 16:08 +0200
committer abobrov <abobrov@localhost>
Thursday, May 7, 2009 16:08 +0200
commit106d2aa1c6e17707ba3b580db682010858e3daa9
tree 12e49fb4abdd3ddc241cefe3341dace0acde0eac tree | zip | gz
parent db7791a87d045419699882421806a370e189305a view | diff 
- play it safe and make exitRequested volatile.
1 files modified
2 ■■■■■ changed files
opends/src/server/org/opends/server/backends/task/TaskThread.java 2 ●●●●● diff | view | raw | blame | history