different time tuple format

Wed Jun 8 10:02:18 EDT 2005

The names are at least platform specific, see below the names of the
timezones on my Windows NT 4 box

*** Python 2.3.4 (#53, May 25 2004, 21:17:02) [MSC v.1200 32 bit
(Intel)] on win32
*** Type "help", "copyright", "credits" or "license" for more
information.
*** >>> import time
*** >>> print time.tzname
*** ('W. Europe Standard Time', 'W. Europe Daylight Time')
*** >>>