From 355adddff1fc946b35ffe1599540dcdd0c938149 Mon Sep 17 00:00:00 2001
From: Mygod <contact-git@mygod.be>
Date: Tue, 11 Feb 2020 23:52:48 -0500
Subject: [PATCH] Remove unused is_remote_dns option

---
 src/local.c | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/src/local.c b/src/local.c
index eaae0c4f..de19a1db 100644
--- a/src/local.c
+++ b/src/local.c
@@ -86,7 +86,6 @@ uint64_t tx    = 0;
 uint64_t rx    = 0;
 ev_tstamp last = 0;
 
-int is_remote_dns = 1; // resolve hostname remotely
 char *stat_path   = NULL;
 #endif
 
@@ -1449,7 +1448,7 @@ main(int argc, char **argv)
     USE_TTY();
 
 #ifdef __ANDROID__
-    while ((c = getopt_long(argc, argv, "f:s:p:l:k:t:m:i:c:b:a:n:S:huUvV6AD",
+    while ((c = getopt_long(argc, argv, "f:s:p:l:k:t:m:i:c:b:a:n:S:huUvV6A",
                             long_options, NULL)) != -1) {
 #else
     while ((c = getopt_long(argc, argv, "f:s:p:l:k:t:m:i:c:b:a:n:huUv6A",
@@ -1549,9 +1548,6 @@ main(int argc, char **argv)
         case 'S':
             stat_path = optarg;
             break;
-        case 'D':
-            is_remote_dns = 0;
-            break;
         case 'V':
             vpn = 1;
             break;