At 7:13 PM -0800 2004-11-23, Joe Rhett wrote:
My straw man (which may be wildly under-educated) is that we have no need at all to modify any headers, but instead to ignore the Date: header entirely for archive and digest purposes. Leave the Date header there, but don't use it. Instead use time of receipt.
Date is one of the ways that the archive is sorted. You'd have to display a different header which would be consistent with the sort order, and change some other links to read "time of receipt" instead of "date". Overall, more work than just correcting the "Date:" header, although it would be more correct.
Do-able, yes. But not currently being done.
Moreover, there are already other methods currently built into the code for handling this issue with respect to the archives -- see previous messages from Barry and Jim.
For my part, this issue has as much to do with "correcting" messages as they arrive into the system (and before they are archived or sent back out again), as it is keeping the archives clean. It's one thing to just keep the archives clean, it's another to "correct" the message before it gets recorded in the archives or sent back out again.
-- Brad Knowles, <[EMAIL PROTECTED]>
"Those who would give up essential Liberty, to purchase a little temporary Safety, deserve neither Liberty nor Safety."
-- Benjamin Franklin (1706-1790), reply of the Pennsylvania Assembly to the Governor, November 11, 1755
SAGE member since 1995. See <http://www.sage.org/> for more info. _______________________________________________ Mailman-Developers mailing list [EMAIL PROTECTED] http://mail.python.org/mailman/listinfo/mailman-developers Unsubscribe: http://mail.python.org/mailman/options/mailman-developers/archive%40jab.org