Replace username space with underscore.

nagyistoce · Sep 6, 2013 · 6142567 · 6142567
1 parent 106fa38
commit 6142567
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/build.sh b/build.sh
@@ -72,11 +72,11 @@ WIPE_TMP=true
 # Calculate MYNAME based on platform.
 if [ ! -z "$LOGNAME" ]; then
     # Unix
-    MYNAME=${LOGNAME}
+    MYNAME=`echo ${LOGNAME} | sed 's/ /_/g'`
 else
     if [ ! -z "$USERNAME" ]; then
         # Windows
-        MYNAME=${USERNAME}
+        MYNAME=`echo ${USERNAME} | sed 's/ /_/g'`
     else
         MYNAME="UnknownLogin"
     fi

diff --git a/src/main/java/water/H2O.java b/src/main/java/water/H2O.java
@@ -52,7 +52,11 @@ public final class H2O {
 
   public static String DEFAULT_ICE_ROOT() {
     String username = System.getProperty("user.name");
-    if ((username == null) || (username.length() == 0)) {
+    if (username == null) {
+      username = "";
+    }
+    String u2 = username.replaceAll(" ", "_");
+    if (username.length() == 0) {
       username = "unknown";
     }
     String s = "/tmp/h2o-" + username;