mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 9543e8 | patch | commitdiff
ludovicp
27.37.2010 7e98bdf0dbf3e54f9bfe44485db183821c35e78b
refs
author ludovicp <ludovicp@localhost>
Thursday, May 27, 2010 17:37 +0200
committer ludovicp <ludovicp@localhost>
Thursday, May 27, 2010 17:37 +0200
commit7e98bdf0dbf3e54f9bfe44485db183821c35e78b
tree de5eae32faae3a201c4267816ad3fae89cb2ebaf tree | zip | gz
parent 9543e8abfda91f26c0c4ef22db9a67189bea7a1d view | diff 
Fix for issue #4260. Made shutdownRequested Monitor volatile
2 files modified
8 ■■■■■ changed files
opends/src/server/org/opends/server/extensions/TraditionalWorkQueue.java 4 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/extensions/TraditionalWorkerThread.java 4 ●●●●● diff | view | raw | blame | history