commit a2c6d5bf308181c019ade0aac6d25fe33dc3d76c
author Nick Kralevich <nnk@google.com> Wed Jun 09 14:27:43 2010 -0700
committer Nick Kralevich <nnk@google.com> Thu Jun 10 10:39:42 2010 -0700
tree b5978d6349768cbf70b33366beb775ec0c6c3572
parent b00854d4c07ee8c810d1e32984543297bfa80a8e

do not merge: cherry-picked 929b4855b8208d36272769e8eeaa6cd2823b94c0 from master branch

Change-Id: Ie20371234a531f65f523682a0d0c27394dc30afa

services/java/com/android/server/WifiWatchdogService.java

diff --git a/services/java/com/android/server/WifiWatchdogService.java b/services/java/com/android/server/WifiWatchdogService.java
index 87f8a6e..445dd03 100644
--- a/services/java/com/android/server/WifiWatchdogService.java
+++ b/services/java/com/android/server/WifiWatchdogService.java
@@ -1217,8 +1217,9 @@
         private static Random sRandom = new Random();
         
         static boolean isDnsReachable(int dns, int timeout) {
+            DatagramSocket socket = null;
             try {
-                DatagramSocket socket = new DatagramSocket();
+                socket = new DatagramSocket();
                 
                 // Set some socket properties
                 socket.setSoTimeout(timeout);
@@ -1271,6 +1272,10 @@
                     Slog.d(TAG, "DnsPinger.isReachable got an unknown exception", e);
                 }
                 return false;
+            } finally {
+                if (socket != null) {
+                    socket.close();
+                }
             }
         }