| commit | 9abc2aa7ede96685c518a8389a876096bb4299dc | [log] [tgz] |
|---|---|---|
| author | Lorenzo Colitti <lorenzo@google.com> | Thu Oct 29 15:21:54 2015 +0900 |
| committer | The Android Automerger <android-build@google.com> | Thu Oct 29 19:24:57 2015 -0700 |
| tree | c75095a9dbeeb0e0425c9ea1ead6a74d7448f92c | |
| parent | 2658cb002abae9341c9a82bfeaed764ba5bf97c8 [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