PVA cmd line logger: Show millisecs

kasemir · kasemir · commit f87668fcb0be · 2022-06-01T11:22:38.000-04:00
diff --git a/core/pva/src/main/resources/pva_logging.properties b/core/pva/src/main/resources/pva_logging.properties
@@ -11,7 +11,7 @@ java.util.logging.ConsoleHandler.formatter = java.util.logging.SimpleFormatter
 # 1: date, 2: source, 3: logger, 4: level, 5: message, 6:thrown
 # Adding the logger name [%3$s] can be useful to determine which logger to _disable_,
 #
-java.util.logging.SimpleFormatter.format=%1$tY-%1$tm-%1$td %1$tH:%1$tM:%1$tS %4$s [%3$s] %5$s%6$s%n
+java.util.logging.SimpleFormatter.format=%1$tY-%1$tm-%1$td %1$tH:%1$tM:%1$tS.%1tN %4$s [%3$s] %5$s%6$s%n
 #
 # but otherwise the source is more useful to locate the originating code.
 # java.util.logging.SimpleFormatter.format=%1$tY-%1$tm-%1$td %1$tH:%1$tM:%1$tS %4$s [%2$s] %5$s%6$s%n

Original file line number	Diff line number	Diff line change
`@@ -11,7 +11,7 @@ java.util.logging.ConsoleHandler.formatter = java.util.logging.SimpleFormatter`
`11`	`11`	`# 1: date, 2: source, 3: logger, 4: level, 5: message, 6:thrown`
`12`	`12`	`# Adding the logger name [%3$s] can be useful to determine which logger to _disable_,`
`13`	`13`	`#`
`14`		`-java.util.logging.SimpleFormatter.format=%1$tY-%1$tm-%1$td %1$tH:%1$tM:%1$tS %4$s [%3$s] %5$s%6$s%n`
	`14`	`+java.util.logging.SimpleFormatter.format=%1$tY-%1$tm-%1$td %1$tH:%1$tM:%1$tS.%1tN %4$s [%3$s] %5$s%6$s%n`
`15`	`15`	`#`
`16`	`16`	`# but otherwise the source is more useful to locate the originating code.`
`17`	`17`	`# java.util.logging.SimpleFormatter.format=%1$tY-%1$tm-%1$td %1$tH:%1$tM:%1$tS %4$s [%2$s] %5$s%6$s%n`