diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2016-11-09 12:54:59 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-09 12:54:59 +0100 |
| commit | 22542bc7679829579d82eef99163a33dd78f1736 (patch) | |
| tree | 75acc3d084e92004de7f8a1f3806ae10b99363df /platform/android/java | |
| parent | a201fbb751fd9715a491515fd1c71d48b1657fc1 (diff) | |
| parent | 8d454ed9a7105bf1a4c19c238a0e904f220c1bb5 (diff) | |
Merge pull request #7030 from volzhs/fix-dir-access-android
Fix Directory.dir_exist/get_current_dir for 'res://' on Android
Diffstat (limited to 'platform/android/java')
| -rw-r--r-- | platform/android/java/src/org/godotengine/godot/GodotIO.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/platform/android/java/src/org/godotengine/godot/GodotIO.java b/platform/android/java/src/org/godotengine/godot/GodotIO.java index 55e330924a..128a9b2f7b 100644 --- a/platform/android/java/src/org/godotengine/godot/GodotIO.java +++ b/platform/android/java/src/org/godotengine/godot/GodotIO.java @@ -288,6 +288,11 @@ public class GodotIO { try { ad.files = am.list(path); + // no way to find path is directory or file exactly. + // but if ad.files.length==0, then it's an empty directory or file. + if (ad.files.length==0) { + return -1; + } } catch (IOException e) { System.out.printf("Exception on dir_open: %s\n",e); |