diff options
author | 2019-01-05 11:27:54 +0100 | |
---|---|---|
committer | 2019-01-05 17:13:23 +0000 | |
commit | 3c1cf2c1716f436e5da4a106dd2b9a3df5d3a4a3 (patch) | |
tree | 8a97175a655ae4ca01e841a4af3b14e846ee5ebc /build/external | |
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 'build/external')
0 files changed, 0 insertions, 0 deletions