Hmm... overloading this channel's semantics to capture both "incoming repair requests" and "termination signals" is a bit confusing for me. See alternate suggestion below.