Content-type: text/html
crashedLocalTTCBid, crashedLocalTTCBeid
void crashedLocalTTCBid(descriptor_t *descriptor, localTTCBid_t localTTCBid, error_out_ t *out);
void crashedLocalTTCBeid(descriptor_t *descriptor, eid_t eid, error_out_t *out);
crashedLocalTTCBid says if the Local TTCB with id localTTCBid crashed.
crashedLocalTTCBeid says if the Local TTCB from which eid was obtained, crashed.
getTCBid (1), openTCBconnection (1), closeTCBConnection (1), getRandom (1), getTCBTimetsamp (1).