Check if a zip file exists before adding ot to list.

This commit is contained in:
hns 2003-05-21 13:02:19 +00:00
parent cb8b8462d6
commit f90d33adda

View file

@ -166,7 +166,7 @@ public final class TypeManager {
if (zipped == null) {
File f = new File(appDir, list[i]);
if (!f.isDirectory()) {
if (!f.isDirectory() && f.exists()) {
zipped = new ZippedAppFile(f, app);
zipfiles.put(list[i], zipped);
}