Hello, and here a small patch to make "file extension" work as it does in newer Tcl. Greetings, Krischan -- Christian Krone, SQL Datenbanksysteme GmbH Mail mailto:[EMAIL PROTECTED]
--- FileCmd.java.org Sat Aug 7 07:59:06 1999 +++ FileCmd.java Wed Aug 16 06:45:36 2000 @@ -670,12 +670,10 @@ return ""; } - // Back up to the first period in a series of contiguous dots. - // This is needed so foo..o will be split on the first dot. - - while ((dotIndex > 0) && (lastSep.charAt(dotIndex - 1) == '.')) { - --dotIndex; - } + // In earlier versions, we used to back up to the first period in a series + // so that "foo..o" would be split into "foo" and "..o". This is a + // confusing and usually incorrect behavior, so now we split at the last + // period in the name. return(lastSep.substring(dotIndex)); }