Simplify RSS date generation

Simplify RSS date generation

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Simplify RSS date generation

manifest hash: 3b1628aaee450c292949f6d079b4a05ccb5ce6ab
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.0 (GNU/Linux)

iD8DBQFCyLatywK+sNU5EO8RAiLMAKCqYFyzSDCU6Wm34LSWZroAHMqa4QCfSWv6
jh/vvuQS0qmXybm6Ivd7XVY=
=x1Rf
-----END PGP SIGNATURE-----

--- a/mercurial/hgweb.py	Sun Jul 03 13:32:59 2005 -0800
+++ b/mercurial/hgweb.py	Sun Jul 03 20:10:21 2005 -0800
@@ -109,10 +109,7 @@
         return template(tmpl, self.filters, **map)
 
 def rfc822date(x):
-    month= [None,"Jan", "Feb", "Mar", "Apr", "May", "Jun",
-                 "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"]
-    yyyy,mon,dd,hh,mm,ss,wd,x,y = time.gmtime(x)
-    return "%d %s %d %d:%d:%d"%(dd, month[mon], yyyy, hh, mm, ss)
+    return strftime("%a, %d %b %Y %H:%M:%S +0000", time.gmtime(x))
 
 class hgweb:
     maxchanges = 10