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