Index: Lib/BaseHTTPServer.py
===================================================================
--- Lib/BaseHTTPServer.py	(revision 79945)
+++ Lib/BaseHTTPServer.py	(working copy)
@@ -462,27 +462,13 @@
         """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 time.strftime("%a, %d %b %Y %H:%M:%S GMT", time.gmtime(timestamp))
 
     def log_date_time_string(self):
         """Return the current time formatted for logging."""
         now = time.time()
-        year, month, day, hh, mm, ss, x, y, z = time.localtime(now)
-        s = "%02d/%3s/%04d %02d:%02d:%02d" % (
-                day, self.monthname[month], year, hh, mm, ss)
-        return s
+        return time.strftime("%d/%b/%Y %H:%M:%S", time.localtime(now))
 
-    weekdayname = ['Mon', 'Tue', 'Wed', 'Thu', 'Fri', 'Sat', 'Sun']
-
-    monthname = [None,
-                 'Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun',
-                 'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec']
-
     def address_string(self):
         """Return the client address formatted for logging.