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
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, email: [EMAIL PROTECTED]