Bug report #709 has just been filed.

You can view the report at the following URL:

   <http://znutar.cortexity.com/BugRatViewer/ShowReport/709>

REPORT #709 Details.

Project: Catalina
Category: Bug Report
SubCategory: New Bug Report
Class: swbug
State: received
Priority: high
Severity: critical
Confidence: public
Environment: 
   Release: 4.0b1
   JVM Release: 1.3.0_01
   Operating System: Linux
   OS Release: RedHat 7
   Platform: i386

Synopsis: 
Wrong date format in WebDAV servlet response

Description:
All dates in HTTP response should be expressed in GMT.
Current(4.0b1) WebDAV servlet repspond with system's default time zone in its HTTP 
response. 
So org/apache/catalina/servlets/DefaultServlet.java should look like this:

    /**
     * The set of SimpleDateFormat formats to use in getDateHeader().
     */
    protected static final SimpleDateFormat formats[] = {
        new SimpleDateFormat("EEE, dd MMM yyyy HH:mm:ss zzz", Locale.US),
        new SimpleDateFormat("EEEEEE, dd-MMM-yy HH:mm:ss zzz", Locale.US),
        new SimpleDateFormat("EEE MMMM d HH:mm:ss yyyy", Locale.US)
    };

    /** GMT timezone - all HTTP dates are on GMT
     */
    public final static TimeZone gmtZone = TimeZone.getTimeZone("GMT");
    static {
        formats[0].setTimeZone(gmtZone);
        formats[1].setTimeZone(gmtZone);
        formats[2].setTimeZone(gmtZone);
    }

Title: BugRat Report # 709

BugRat Report # 709

Project: Catalina Release: 4.0b1
Category: Bug Report SubCategory: New Bug Report
Class: swbug State: received
Priority: high Severity: critical
Confidence: public

Submitter: Moonhyoung Lee ( [EMAIL PROTECTED] )
Date Submitted: Jan 8 2001, 06:12:23 CST
Responsible: Z_Tomcat Alias ( [EMAIL PROTECTED] )

Synopsis:
Wrong date format in WebDAV servlet response
Environment: (jvm, os, osrel, platform)
1.3.0_01, Linux, RedHat 7, i386

Additional Environment Description:

Report Description:
All dates in HTTP response should be expressed in GMT. Current(4.0b1) WebDAV servlet repspond with system's default time zone in its HTTP response. So org/apache/catalina/servlets/DefaultServlet.java should look like this: /** * The set of SimpleDateFormat formats to use in getDateHeader(). */ protected static final SimpleDateFormat formats[] = { new SimpleDateFormat("EEE, dd MMM yyyy HH:mm:ss zzz", Locale.US), new SimpleDateFormat("EEEEEE, dd-MMM-yy HH:mm:ss zzz", Locale.US), new SimpleDateFormat("EEE MMMM d HH:mm:ss yyyy", Locale.US) }; /** GMT timezone - all HTTP dates are on GMT */ public final static TimeZone gmtZone = TimeZone.getTimeZone("GMT"); static { formats[0].setTimeZone(gmtZone); formats[1].setTimeZone(gmtZone); formats[2].setTimeZone(gmtZone); }

How To Reproduce:
null

View this report online...
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, email: [EMAIL PROTECTED]

Reply via email to