From 6ca975a1aa7f9df1c6f60da6875fa1d6eeb28243 Mon Sep 17 00:00:00 2001
From: Greg Wilkins <gregw@webtide.com>
Date: Thu, 7 Dec 2017 12:25:02 +0100
Subject: [PATCH] ignore bad timestamp

---
 jetty-util/src/main/java/org/eclipse/jetty/util/Jetty.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jetty-util/src/main/java/org/eclipse/jetty/util/Jetty.java b/jetty-util/src/main/java/org/eclipse/jetty/util/Jetty.java
index 102b83713bf..98472b064b8 100644
--- a/jetty-util/src/main/java/org/eclipse/jetty/util/Jetty.java
+++ b/jetty-util/src/main/java/org/eclipse/jetty/util/Jetty.java
@@ -90,7 +90,7 @@ public class Jetty
         }
         catch ( NumberFormatException e )
         {
-            LOG.debug( e );
+            LOG.ignore( e );
             return "unknown";
         }
     }