I’ve read that if two or more resmgr_detach() requests come in
simultaneously,
only one of the requests is served.
Is this code correct:
dispatch_context_free(ctp);
resmgr_detach( dpp, id[0], 0 );
resmgr_detach( dpp, id[1], 0 );
resmgr_detach( dpp, id[2], 0 );
dispatch_destroy( dpp );
?