引自Python Library Reference Release 2.5 p408
在程序中根据需要修改本地时区信息
>>> import os, time
>>> os.environ[’TZ’] = 'US/Eastern’
>>> time.tzset()
>>> time.tzname
(’EST’, ’EDT’)
>>> ust=820090437
>>> st=172211
>>> time.strftime("%Z, %a, %d %b %Y %H:%M:%S +0000", time.localtime(ust+st))
'PST, Fri, 29 Dec 1995 10:44:08 +0000'
要求在目录/usr/share/zoneinfo下有相应的文件存在,否则出错