Commits

Lorenzo Colitti authored 7611f1cdb4e
Don't crash if a DHCP server doesn't send the server ID option. This violates a MUST in RFC2131, but apparently some implementations don't know or care. Bug: 25343517 Change-Id: I80459b58ffe231e7ed64e77bafa157a96b745149