os.path.isdir() on Windows dislikes final backslash on pathnames

[Fred Yankowski]

Using Python 1.5.2 on Windows NT 4.0, I find that
os.path.isdir('c:\\progra~1') returns 1 but 
os.path.isdir('c:\\progra~1\\') returns 0.

Is that a bug?

On a Unix machine running Python 1.5.1
os.path.isdir('/tmp') returns 1, and
os.path.isdir('/tmp/') returns 1 too, and even
os.path.isdir('/tmp/////') returns 1 (as I would expect).

--
Fred Yankowski