> Ok, please choose which one: > > 1. simply stripping any '.' character(s) at the end of a directory name, > or > > 2. encoding '.' at the end of a directory name into '#2E' > > Klaus I think in the interests of correctness it should probably be option 2 ('#2E'). Thanks, Simon