diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2019-08-07 06:19:51 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2019-08-07 06:19:51 +0200 |
| commit | c08b0ce638361a84d3648aacd4ffbd0da6c357d8 (patch) | |
| tree | afee2de836d4f3702adb094c06171a5c3603be41 /doc/man.css | |
| parent | ade1111af0e0d253418c0707ad4e15b71a191348 (diff) | |
Distinguish between internal/external wait deactivation in scheduler
This turns out to be necessary for the deadlock detection to work properly.
Diffstat (limited to 'doc/man.css')
0 files changed, 0 insertions, 0 deletions