commit 588371b3dcf745ad68abc4791d213cdd2c2f6b4a
author PJ <pjo@google.com> Tue Sep 10 17:53:26 2013 -0700
committer PJ <pjo@google.com> Tue Sep 10 17:53:26 2013 -0700
tree d47f7db9fe968a2f84b821ed512199d1348462ca
parent 0503bae0d0865d294fa1ce838fab4f5478a97e0a

lowercase server.hostname in english

src/com/google/enterprise/adaptor/Config.java

diff --git a/src/com/google/enterprise/adaptor/Config.java b/src/com/google/enterprise/adaptor/Config.java
index 5462df3..0dd9f83 100644
--- a/src/com/google/enterprise/adaptor/Config.java
+++ b/src/com/google/enterprise/adaptor/Config.java
@@ -153,7 +153,7 @@
     String hostname = null;
     try {
       hostname = InetAddress.getLocalHost().getCanonicalHostName();
-      hostname = hostname.toLowerCase();  // work around GSA 7.0 bug
+      hostname = hostname.toLowerCase(Locale.ENGLISH);  // work around GSA 7.0
     } catch (UnknownHostException ex) {
       // Ignore
     }
@@ -305,7 +305,7 @@
   /** Default is lowercase of InetAddress.getLocalHost().getHostName(). */
   String getServerHostname() {
     String hostname = getValue("server.hostname");
-    log.log(Level.FINER, "server hostname: " + hostname);
+    log.log(Level.FINER, "server hostname: {0}", hostname);
     return hostname;
   }