diff options
| author |   Ole Troan <ot@cisco.com> | 2019-01-05 11:27:54 +0100 |
|---|---|---|
| committer |   Florin Coras <florin.coras@gmail.com> | 2019-01-05 17:13:23 +0000 |
| commit | 3c1cf2c1716f436e5da4a106dd2b9a3df5d3a4a3 (patch) | |
| tree | 8a97175a655ae4ca01e841a4af3b14e846ee5ebc /src/tools | |
| parent | 3c6f1045e23f920adf1dbac4e308c7bff4f59b7f (diff) | |
socket API: Use pool index instead of handle in sock_delete handler
The socket API used the socket index handle directly in the sock_delete handler,
resulting in "unknown client id" warnings, and a failure in return for socket clients.
Change-Id: Ia69f740ce0f834cd9b62b7157243a1f42bcad765
Signed-off-by: Ole Troan <ot@cisco.com>
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions