3.1.7 Other Local Events

On system shutdown, if its Release DHCP Lease on Shutdown Flag is set, the DHCPv4 client MUST send a DHCPRELEASE message for all IP addresses obtained through DHCPv4.