From f90d33adda9124b27a30fb14a157083ab33838f6 Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Wed, 21 May 2003 13:02:19 +0000
Subject: [PATCH] Check if a zip file exists before adding ot to list.

---
 src/helma/framework/core/TypeManager.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/helma/framework/core/TypeManager.java b/src/helma/framework/core/TypeManager.java
index 988ea6ef..b4a54f94 100644
--- a/src/helma/framework/core/TypeManager.java
+++ b/src/helma/framework/core/TypeManager.java
@@ -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);
                         }