remm        01/01/08 08:45:55

  Modified:    catalina/src/share/org/apache/catalina/servlets
                        DefaultServlet.java
  Log:
  - Dates returned should indeed be GMT.
    Patch submitted by Moonhyoung Lee.
  
  Revision  Changes    Path
  1.18      +18 -4     
jakarta-tomcat-4.0/catalina/src/share/org/apache/catalina/servlets/DefaultServlet.java
  
  Index: DefaultServlet.java
  ===================================================================
  RCS file: 
/home/cvs/jakarta-tomcat-4.0/catalina/src/share/org/apache/catalina/servlets/DefaultServlet.java,v
  retrieving revision 1.17
  retrieving revision 1.18
  diff -u -r1.17 -r1.18
  --- DefaultServlet.java       2001/01/04 20:00:35     1.17
  +++ DefaultServlet.java       2001/01/08 16:45:55     1.18
  @@ -1,7 +1,7 @@
   /*
  - * $Header: 
/home/cvs/jakarta-tomcat-4.0/catalina/src/share/org/apache/catalina/servlets/DefaultServlet.java,v
 1.17 2001/01/04 20:00:35 remm Exp $
  - * $Revision: 1.17 $
  - * $Date: 2001/01/04 20:00:35 $
  + * $Header: 
/home/cvs/jakarta-tomcat-4.0/catalina/src/share/org/apache/catalina/servlets/DefaultServlet.java,v
 1.18 2001/01/08 16:45:55 remm Exp $
  + * $Revision: 1.18 $
  + * $Date: 2001/01/08 16:45:55 $
    *
    * ====================================================================
    *
  @@ -82,6 +82,7 @@
   import java.util.Vector;
   import java.util.StringTokenizer;
   import java.util.Locale;
  +import java.util.TimeZone;
   import java.util.Hashtable;
   import java.text.ParseException;
   import java.text.SimpleDateFormat;
  @@ -112,7 +113,7 @@
    *
    * @author Craig R. McClanahan
    * @author Remy Maucherat
  - * @version $Revision: 1.17 $ $Date: 2001/01/04 20:00:35 $
  + * @version $Revision: 1.18 $ $Date: 2001/01/08 16:45:55 $
    */
   
   public class DefaultServlet
  @@ -178,6 +179,19 @@
        new SimpleDateFormat("EEEEEE, dd-MMM-yy HH:mm:ss zzz", Locale.US),
        new SimpleDateFormat("EEE MMMM d HH:mm:ss yyyy", Locale.US)
       };
  +
  +
  +    protected final static TimeZone gmtZone = TimeZone.getTimeZone("GMT");
  +
  +
  +    /**
  +     * GMT timezone - all HTTP dates are on GMT
  +     */
  +    static {
  +        formats[0].setTimeZone(gmtZone);
  +        formats[1].setTimeZone(gmtZone);
  +        formats[2].setTimeZone(gmtZone);
  +    }
   
   
       /**
  
  
  

---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, email: [EMAIL PROTECTED]

Reply via email to