diff options
author | Will Szumski <will@cowboycoders.org> | 2016-11-24 20:40:52 +0000 |
---|---|---|
committer | yvesf <yvesf-git@xapek.org> | 2016-11-28 19:53:44 +0100 |
commit | 04912777fdbd9799710756c2478f2d5927675e23 (patch) | |
tree | b1a6ec3e8f892dade973d4c5e7cf7bae8fd95b05 /src/main/AndroidManifest.xml | |
parent | d8e779e7d384be5c9f2a977a43a02b70de69e352 (diff) | |
download | andiodine-04912777fdbd9799710756c2478f2d5927675e23.tar.gz andiodine-04912777fdbd9799710756c2478f2d5927675e23.zip |
Use stable API to detect system nameservers
Motivation:
__system_get_property is a hidden api and has already been removed from the ndk once
Diffstat (limited to 'src/main/AndroidManifest.xml')
-rw-r--r-- | src/main/AndroidManifest.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/AndroidManifest.xml b/src/main/AndroidManifest.xml index 0bea991..5325d7f 100644 --- a/src/main/AndroidManifest.xml +++ b/src/main/AndroidManifest.xml @@ -9,6 +9,7 @@ android:targetSdkVersion="16"/> <uses-permission android:name="android.permission.INTERNET"/> + <uses-permission android:name="android.permission.ACCESS_NETWORK_STATE"/> <application android:allowBackup="false" |