Verified Commit 9efd2d11 authored by Torsten Grote's avatar Torsten Grote
Browse files

Ignore file extension when retrieving resources on Android

parent 8e6cd12f
......@@ -24,14 +24,9 @@ class AndroidResourceProvider implements ResourceProvider {
public InputStream getResourceInputStream(String name, String extension) {
Resources res = appContext.getResources();
String fileName;
if (extension.equals(".zip")) {
fileName = name;
} else {
fileName = name + extension;
// extension is ignored on Android, resources are retrieved without it
int resId =
res.getIdentifier(fileName, "raw", appContext.getPackageName());
res.getIdentifier(name, "raw", appContext.getPackageName());
return res.openRawResource(resId);
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment