From 003173f895964e1c3c1b1de323be24107c8b3901 Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Mon, 21 Oct 2002 12:17:51 +0000
Subject: [PATCH] Use index of last dot in filename to find out the type of a
 file

---
 src/helma/framework/core/TypeManager.java | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/helma/framework/core/TypeManager.java b/src/helma/framework/core/TypeManager.java
index da46df0e..9054c821 100644
--- a/src/helma/framework/core/TypeManager.java
+++ b/src/helma/framework/core/TypeManager.java
@@ -224,11 +224,11 @@ public final class TypeManager {
     * Update a prototype to the files in the prototype directory.
     */
     public void updatePrototype (Prototype proto) {
-
         if (proto == null)
             return;
-        // if prototype has been checked in the last 1.5 seconds, return
-        // if (System.currentTimeMillis() - proto.getLastCheck() < 2500)
+        // System.err.println ("UPDATE PROTO: "+app.getName()+"/"+proto.getName());
+        // if prototype has been checked in the last second, return
+        // if (System.currentTimeMillis() - proto.getLastCheck() < 1000)
         //     return;
 
         synchronized (proto) {
@@ -281,7 +281,7 @@ public final class TypeManager {
         String[] list = dir.list ();
         for (int i=0; i<list.length; i++) {
             String fn = list[i];
-            int dot = fn.indexOf (".");
+            int dot = fn.lastIndexOf (".");
 
             if (dot < 0)
                 continue;