diff options
author | volzhs <volzhs@gmail.com> | 2016-11-04 00:41:16 +0900 |
---|---|---|
committer | volzhs <volzhs@gmail.com> | 2016-11-09 01:50:00 +0900 |
commit | 8d454ed9a7105bf1a4c19c238a0e904f220c1bb5 (patch) | |
tree | e04c63ccb94d390820eeed01e324143c58565f56 /platform/android/java/src | |
parent | 0cc8a641ce09e2dcf6224e135280030727bd34a1 (diff) |
Fix Directory.dir_exist/get_current_dir for 'res://' on Android
Fix #7014
Diffstat (limited to 'platform/android/java/src')
-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); |