diff options
author | 2018-09-07 17:09:35 -0700 | |
---|---|---|
committer | 2018-09-08 12:12:13 +0000 | |
commit | 3348a4cf070b90a9c23bbc0b3752fa2801f832a9 (patch) | |
tree | 67e6a8b2db134daa8b62eb241e161137fdbc4f32 /src/vnet/ip/ping.h | |
parent | de9f08b0302d5b4cdc8fbfeb9a9585f46e8314f2 (diff) |
vcl: set worker pthread stop key
Otherwise the key destructor is not called on pthread_exit.
Change-Id: I11e6b9683a926eecd3f40a44aab41924ff9c3101
Signed-off-by: Florin Coras <fcoras@cisco.com>
Diffstat (limited to 'src/vnet/ip/ping.h')
0 files changed, 0 insertions, 0 deletions