diff options
| author | Lorenzo Colitti <lorenzo@google.com> | 2013-10-31 11:59:46 +0900 |
|---|---|---|
| committer | Lorenzo Colitti <lorenzo@google.com> | 2013-11-18 12:04:14 +0900 |
| commit | 416740ad4d9132005a71dc0883334e852235a18a (patch) | |
| tree | 4b71edee51111709fe1c1333b2edc4ed70cdcdcd /rs/java/android/renderscript/ProgramStore.java | |
| parent | 4be55a0eac092d79d7462ac6921505ebb628f428 (diff) | |
Pass DNS server info notifications to observers.
These are sent if the device receives IPv6 Router Advertisements
with DNS server configuration options. Currently, nothing listens
to them; in a future change we will use them as IPv6 DNS servers.
Bug: 9180552
Change-Id: I05000c0cd3867a68ab390102e8470b6912a9d3aa
Diffstat (limited to 'rs/java/android/renderscript/ProgramStore.java')
0 files changed, 0 insertions, 0 deletions