| commit | 7611f1cdb4ef3bedc1cf1ce59ad3671f4c454549 | [log] [tgz] |
|---|---|---|
| author | Lorenzo Colitti <lorenzo@google.com> | Thu Oct 29 15:21:54 2015 +0900 |
| committer | Lorenzo Colitti <lorenzo@google.com> | Thu Oct 29 16:09:16 2015 +0900 |
| tree | 55d32575b95a939189701bdf6fa414b7b16b9063 | |
| parent | 14bb0511c6cc5ad62a870b3c2437c8090bcf75af [diff] |
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