wg-quick: don't break push notifications

Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>
2018-05-31 16:40:50 +02:00
parent e664a05d4b
commit 8c32c32c2b
2 changed files with 3 additions and 2 deletions
@@ -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;
    }