time.strptime() not supported in windows? what the.....

[Michael Morrison]

Now this is odd....

windows:
>>> time.strptime("08/07/2000 11:03", "%m/%d/%Y %H:%M")
Traceback (innermost last):
  File "<interactive input>", line 0, in ?
AttributeError: strptime

unix:
>>> time.strptime("08/07/2000 11:03", "%m/%d/%Y %H:%M")
(2000, 8, 7, 11, 3, 0, 0, 220, 0)
>>> time.asctime(time.strptime("08/07/2000 11:03", "%m/%d/%Y %H:%M"))
'Mon Aug  7 11:03:00 2000'

Okay...WHY isn't this function supported in windows?  That's got to be the
craziest thing I've ever seen in python so far.  If you need, _ILL_ make the
function for the windows platform.