| commit | 7b368339af42d5f9b4e262dbe27122fb1c162321 | [log] [tgz] |
|---|---|---|
| author | Amaury Denoyelle <adenoyelle@haproxy.com> | Wed Jul 28 16:12:57 2021 +0200 |
| committer | Amaury Denoyelle <adenoyelle@haproxy.com> | Fri Aug 06 11:07:48 2021 +0200 |
| tree | 02c9647e7e937604b5edca893c08ab3779c6cebb | |
| parent | c755efd5c64ad7327a6b763ea8025a820c5ca374 [diff] |
MEDIUM: task: implement tasklet kill Implement an equivalent of task_kill for tasklets. This function can be used to request a tasklet deletion in a thread-safe way. Currently this function is unused.