summaryrefslogtreecommitdiff
path: root/src/main/AndroidManifest.xml
diff options
context:
space:
mode:
authorWill Szumski <will@cowboycoders.org>2016-11-24 20:40:52 +0000
committeryvesf <yvesf-git@xapek.org>2016-11-28 19:53:44 +0100
commit04912777fdbd9799710756c2478f2d5927675e23 (patch)
treeb1a6ec3e8f892dade973d4c5e7cf7bae8fd95b05 /src/main/AndroidManifest.xml
parentd8e779e7d384be5c9f2a977a43a02b70de69e352 (diff)
downloadandiodine-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.xml1
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"