From c220ec9183179d5c8c2ab0d0a497b1a38131d250 Mon Sep 17 00:00:00 2001
From: Nathan Freitas <nathan@freitas.net>
Date: Wed, 4 Feb 2015 22:02:32 -0500
Subject: [PATCH] re-enable DNS settings after you start Tor

---
 src/org/torproject/android/service/TorService.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/org/torproject/android/service/TorService.java b/src/org/torproject/android/service/TorService.java
index b2879752..9bd64f1e 100644
--- a/src/org/torproject/android/service/TorService.java
+++ b/src/org/torproject/android/service/TorService.java
@@ -809,6 +809,10 @@ public class TorService extends Service implements TorServiceConstants, TorConst
                 
                 shellRoot.close();
             }
+            else if (mUseVPN)
+            {
+            	enableVpnProxy();
+            }
             
             getHiddenServiceHostname ();
         }