protected String getHeaderValueAsString(Object headerValue) {
   if (headerValue == null) return null;
   if (headerValue instanceof Date) {
     // return date strings (ie Last-Modified) in HTTP format, rather
     // than Java format
     return FastHttpDateFormat.formatDate(((Date) headerValue).getTime(), null);
   }
   return headerValue.toString();
 }
Ejemplo n.º 2
0
  /**
   * Add the specified date header to the specified value.
   *
   * @param name Name of the header to set
   * @param value Date value to be set
   */
  @Override
  public void addDateHeader(String name, long value) {

    if (name == null || name.length() == 0) {
      return;
    }

    if (isCommitted()) {
      return;
    }

    // Ignore any call from an included servlet
    if (included) {
      return;
    }

    if (format == null) {
      format = new SimpleDateFormat(FastHttpDateFormat.RFC1123_DATE, Locale.US);
      format.setTimeZone(TimeZone.getTimeZone("GMT"));
    }

    addHeader(name, FastHttpDateFormat.formatDate(value, format));
  }