Searched refs:pause_receiver (Results 1 – 1 of 1) sorted by relevance
400 let pause_receiver = !current_direction.has_recv(); in process_new_current_direction() localVariable402 if pause_receiver { in process_new_current_direction()