Index: Lib/BaseHTTPServer.py
===================================================================
--- Lib/BaseHTTPServer.py	(revision 79945)
+++ Lib/BaseHTTPServer.py	(working copy)
@@ -72,6 +72,7 @@
 
 import sys
 import time
+import email.utils
 import socket # For gethostbyaddr()
 from warnings import filterwarnings, catch_warnings
 with catch_warnings():
@@ -462,12 +463,7 @@
         """Return the current date and time formatted for a message header."""
         if timestamp is None:
             timestamp = time.time()
-        year, month, day, hh, mm, ss, wd, y, z = time.gmtime(timestamp)
-        s = "%s, %02d %3s %4d %02d:%02d:%02d GMT" % (
-                self.weekdayname[wd],
-                day, self.monthname[month], year,
-                hh, mm, ss)
-        return s
+        return email.utils.formatdate(timestamp, usegmt=True)
 
     def log_date_time_string(self):
         """Return the current time formatted for logging."""
@@ -477,8 +473,6 @@
                 day, self.monthname[month], year, hh, mm, ss)
         return s
 
-    weekdayname = ['Mon', 'Tue', 'Wed', 'Thu', 'Fri', 'Sat', 'Sun']
-
     monthname = [None,
                  'Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun',
                  'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec']