diff options
| author | Michael Bien <[email protected]> | 2011-07-11 19:20:21 +0200 |
|---|---|---|
| committer | Michael Bien <[email protected]> | 2011-07-11 19:20:21 +0200 |
| commit | 29deee58472b1c475955718db7b1246fbb1df9d6 (patch) | |
| tree | d5850055efc4714bfa7587aa7fd22b5db1149163 /resources/stubs_includes/jvm | |
| parent | 519cfb8a41e28e4d10e40496893a9aacf0bce6b1 (diff) | |
changed resource release synchronization in a way that we can allow concurrent releases of the root and children of the resource hierarchy without a global lock (and a "already released" exception).
Diffstat (limited to 'resources/stubs_includes/jvm')
0 files changed, 0 insertions, 0 deletions