From 79ccba1990474c118f6630f6d646a774d1e456c3 Mon Sep 17 00:00:00 2001 From: Oliver Kopp Date: Tue, 16 May 2023 22:32:59 +0200 Subject: [PATCH] Improve logger message --- src/main/java/org/jabref/preferences/JabRefPreferences.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/org/jabref/preferences/JabRefPreferences.java b/src/main/java/org/jabref/preferences/JabRefPreferences.java index c18fe485738..043ba7c349d 100644 --- a/src/main/java/org/jabref/preferences/JabRefPreferences.java +++ b/src/main/java/org/jabref/preferences/JabRefPreferences.java @@ -2033,7 +2033,7 @@ String getUserAndHost() { try { hostName = InetAddress.getLocalHost().getHostName(); } catch (UnknownHostException e) { - LOGGER.error("Hostname not found. Please go to https://docs.jabref.org/ to find possible problem resolution", e); + LOGGER.info("Hostname not found. Using \"localhost\" as fallback.", e); hostName = "localhost"; } }