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));
}