From 7bd4e53dd7ca3ffb330895432358f040f16775bd Mon Sep 17 00:00:00 2001
From: rjung <rjung@13f79535-47bb-0310-9956-ffa450edef68>
Date: Mon, 20 Jun 2011 20:12:26 +0000
Subject: [PATCH] Make sure we never use the DateFormatCache with millisecond
 patterns.

Tidy the format pattern like we do in the
AccessLogValve.


git-svn-id: https://svn.apache.org/repos/asf/tomcat/trunk@1137762 13f79535-47bb-0310-9956-ffa450edef68
---
 java/org/apache/juli/DateFormatCache.java | 36 +++++++++++++++++++++++++++++--
 1 file changed, 34 insertions(+), 2 deletions(-)

diff --git a/java/org/apache/juli/DateFormatCache.java b/java/org/apache/juli/DateFormatCache.java
index 649875176..6e47633ab 100644
--- a/java/org/apache/juli/DateFormatCache.java
+++ b/java/org/apache/juli/DateFormatCache.java
@@ -24,7 +24,11 @@ import java.util.Date;
 import java.util.TimeZone;
 
 /**
- * <p>Cache structure for formatted timestamps based on seconds.</p>
+ * <p>Cache structure for SimpleDateFormat formatted timestamps based on
+ * seconds.</p>
+ *
+ * <p>Millisecond formatting using S is not supported. You should add the
+ * millisecond information after getting back the second formatting.</p>
  *
  * <p>The cache consists of entries for a consecutive range of
  * seconds. The length of the range is configurable. It is
@@ -38,6 +42,8 @@ import java.util.TimeZone;
 
 public class DateFormatCache {
 
+    private static final String msecPattern = "#";
+
     /* Timestamp format */
     private final String format;
 
@@ -50,6 +56,32 @@ public class DateFormatCache {
     /* Cache type, "parent" or "child" */
     private String type;
 
+    /**
+     * Replace the millisecond formatting character 'S' by
+     * some dummy characters in order to make the resulting
+     * formatted time stamps cacheable. Our consumer might
+     * choose to replace the dummies with the actual milliseconds
+     * because that's relatively cheap.
+     */
+    private String tidyFormat(String format) {
+        boolean escape = false;
+        StringBuilder result = new StringBuilder();
+        int len = format.length();
+        char x;
+        for (int i = 0; i < len; i++) {
+            x = format.charAt(i);
+            if (escape || x != 'S') {
+                result.append(x);
+            } else {
+                result.append(msecPattern);
+            }
+            if (x == '\'') {
+                escape = !escape;
+            }
+        }
+        return result.toString();
+    }
+
     public DateFormatCache(int size, String format, DateFormatCache parent) {
         if (parent == null) {
             type = "main";
@@ -57,7 +89,7 @@ public class DateFormatCache {
             type = "child";
         }
         cacheSize = size;
-        this.format = format;
+        this.format = tidyFormat(format);
         this.parent = parent;
         Cache parentCache = null;
         if (parent != null) {
-- 
2.11.0