From 247a78a10dc3486f20743a154246da15d862cd5d Mon Sep 17 00:00:00 2001
From: Guido van Rossum <guido@python.org>
Date: Mon, 19 Apr 1999 18:04:38 +0000
Subject: [PATCH] Utility function that yields a properly formatted time
 string.

(Idea by Jeff Bauer, code by Jeremy, renamed and "Date:" constant
stripped from return value by GvR.)
---
 Lib/rfc822.py | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/Lib/rfc822.py b/Lib/rfc822.py
index 86727d0b233..292b3c96ee5 100644
--- a/Lib/rfc822.py
+++ b/Lib/rfc822.py
@@ -873,6 +873,16 @@ def mktime_tz(data):
         t = time.mktime(data[:8] + (0,))
         return t - data[9] - time.timezone
 
+def formatdate(timeval=None):
+    """Returns time format preferred for Internet standards.
+
+    Sun, 06 Nov 1994 08:49:37 GMT  ; RFC 822, updated by RFC 1123
+    """
+    if timeval is None:
+        timeval = time.time()
+    return "%s" % time.strftime('%a, %d %b %Y %H:%M:%S GMT',
+                                time.gmtime(timeval))
+
 
 # When used as script, run a small test program.
 # The first command line argument must be a filename containing one