Darn, Windows will not allow filenames ending with dot-space either!

Fortunately there's the no break space. Hacking Jack was surprisingly easy:

Code:

if (x.endswith(".")):
x = x + u"\u00A0".encode("utf-8")



I'm beginning to like python...

Pim