socket API: Use pool index instead of handle in sock_delete handler