logging.patch

   1 --- apache-tomcat-7.0.41-src/conf/logging.properties~   2013-11-11 15:11:20.000000000 +0200
   2 +++ apache-tomcat-7.0.41-src/conf/logging.properties    2013-11-11 15:11:24.361648531 +0200
   3 @@ -25,18 +25,26 @@
   4  1catalina.org.apache.juli.FileHandler.level = FINE
   5  1catalina.org.apache.juli.FileHandler.directory = ${catalina.base}/logs
   6  1catalina.org.apache.juli.FileHandler.prefix = catalina.
   7 +1catalina.org.apache.juli.FileHandler.rotatable = false
   8 +1catalina.org.apache.juli.FileHandler.suffix = log
   9
  10  2localhost.org.apache.juli.FileHandler.level = FINE
  11  2localhost.org.apache.juli.FileHandler.directory = ${catalina.base}/logs
  12  2localhost.org.apache.juli.FileHandler.prefix = localhost.
  13 +2localhost.org.apache.juli.FileHandler.rotatable = false
  14 +2localhost.org.apache.juli.FileHandler.suffix = log
  15
  16  3manager.org.apache.juli.FileHandler.level = FINE
  17  3manager.org.apache.juli.FileHandler.directory = ${catalina.base}/logs
  18  3manager.org.apache.juli.FileHandler.prefix = manager.
  19 +3manager.org.apache.juli.FileHandler.rotatable = false
  20 +3manager.org.apache.juli.FileHandler.suffix = log
  21
  22  4host-manager.org.apache.juli.FileHandler.level = FINE
  23  4host-manager.org.apache.juli.FileHandler.directory = ${catalina.base}/logs
  24  4host-manager.org.apache.juli.FileHandler.prefix = host-manager.
  25 +4host-manager.org.apache.juli.FileHandler.rotatable = false
  26 +4host-manager.org.apache.juli.FileHandler.suffix = log
  27
  28  java.util.logging.ConsoleHandler.level = FINE
  29  java.util.logging.ConsoleHandler.formatter = java.util.logging.SimpleFormatter