[sre] Avoid NPE into the SRE JUL formatter.

Signed-off-by: Stéphane Galland <galland@arakhne.org>
sarl · Nov 27, 2020 · cff9cd9 · cff9cd9
1 parent 4c1824c
commit cff9cd9
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/main/apiplugins/io.sarl.util/src/main/sarl/io/sarl/util/JulPatternFormatter.sarl b/main/apiplugins/io.sarl.util/src/main/sarl/io/sarl/util/JulPatternFormatter.sarl
@@ -98,7 +98,7 @@ class JulPatternFormatter extends Formatter {
 	/** Filter the log name in order to computer the one that is displayed into the log.
 	 *
 	 * @param logName the log name to filter.
-	 * @return the displyable log name.
+	 * @return the displayable log name.
 	 */
 	protected def filterLogName(logName : String) : String {
 		logName

diff --git a/...project.plugin/src/main/sarl/io/sarl/sre/services/logging/jul/SreJulPatternFormatter.sarl b/...project.plugin/src/main/sarl/io/sarl/sre/services/logging/jul/SreJulPatternFormatter.sarl
@@ -43,7 +43,10 @@ import io.sarl.util.JulPatternFormatter
 class SreJulPatternFormatter extends JulPatternFormatter {
 
 	protected override filterLogName(logName : String) : String {
-		logName.replaceFirst("^" + Pattern::quote(JulLoggerCreator::PLATFORM_LOGGER_NAME_PREFIX), "")
+		if (logName === null) {
+			return null
+		}
+		return logName.replaceFirst("^" + Pattern::quote(JulLoggerCreator::PLATFORM_LOGGER_NAME_PREFIX), "")
 	}
 
 }