diff options
| author | jonmv <venstad@gmail.com> | 2022-10-10 09:50:03 +0200 |
|---|---|---|
| committer | jonmv <venstad@gmail.com> | 2022-10-10 09:50:03 +0200 |
| commit | e52b915d22992659508a1e389fb412ad85090077 (patch) | |
| tree | c4529f82c827b02c1a7fdea41fd53dbc890816b2 /jdisc_core | |
| parent | bf4cac21aaf3776667cfcb117a4b2f931c875675 (diff) | |
Ensure atomicity when removing last registered session owner
Diffstat (limited to 'jdisc_core')
0 files changed, 0 insertions, 0 deletions