wg-quick: don't break push notifications

Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>

1 files changed, 2 insertions, 1 deletions

diff --git a/app/src/main/java/com/wireguard/android/util/ToolsInstaller.java b/app/src/main/java/com/wireguard/android/util/ToolsInstaller.java
index 5b1e1341..fc2897b3 100644
--- a/app/src/main/java/com/wireguard/android/util/ToolsInstaller.java
+++ b/app/src/main/java/com/wireguard/android/util/ToolsInstaller.java
@@ -57,9 +57,10 @@ public final class ToolsInstaller {
         if (path == null)
             return INSTALL_DIRS[0];
         final List<String> paths = Arrays.asList(path.split(":"));
-        for (final File dir : INSTALL_DIRS)
+        for (final File dir : INSTALL_DIRS) {
             if (paths.contains(dir.getPath()) && dir.isDirectory())
                 return dir;
+        }
         return null;
     }