web/http_headers.py
branchstable
changeset 8081 e8091b415ad8
parent 7855 54283a5b7afc
child 8313 386b6313de28
equal deleted inserted replaced
8063:1b2a05c9b71c 8081:e8091b415ad8
   742 
   742 
   743     return '%s %s/%s' % (type, startend, len)
   743     return '%s %s/%s' % (type, startend, len)
   744 
   744 
   745 def generateDateTime(secSinceEpoch):
   745 def generateDateTime(secSinceEpoch):
   746     """Convert seconds since epoch to HTTP datetime string."""
   746     """Convert seconds since epoch to HTTP datetime string."""
   747     year, month, day, hh, mm, ss, wd, y, z = time.gmtime(secSinceEpoch)
   747     # take care gmtime doesn't handle time before epoch (crash on windows at least)
       
   748     year, month, day, hh, mm, ss, wd, y, z = time.gmtime(max(0, secSinceEpoch))
   748     s = "%s, %02d %3s %4d %02d:%02d:%02d GMT" % (
   749     s = "%s, %02d %3s %4d %02d:%02d:%02d GMT" % (
   749         weekdayname[wd],
   750         weekdayname[wd],
   750         day, monthname[month], year,
   751         day, monthname[month], year,
   751         hh, mm, ss)
   752         hh, mm, ss)
   752     return s
   753     return s