let process_destroyed_message tdsc req =
log_output Debug "In Rcomm.From_transport.process_destroyed_message";
let rdsc = TransHash.find thash tdsc in
To_group_from_transport.send_to_group_from_trans
(To_group_from_transport.ToGrp.Destroyed(rdsc)) None
(Some begin fun () -> receive_request [req] end)