3.2.5.4.3 Sending LEAVE Packet

If MaxNACKBackOff (section 3.2.1.3) is non-zero, then the client MUST wait for a random time between zero and MaxNACKBackOff (section 3.2.1.3) before sending a LEAVE packet.

If MaxNACKBackOff (section 3.2.1.3) is zero, the client MUST wait for a random time up to the maximum time specified by MaxLeaveDelay (section 3.2.1.2) before sending a LEAVE packet.

The client MUST send the LEAVE packet to Server Address (section 3.2.1.1).