Revert "fix issue #873"

This reverts commit 17e54dce1e.
2015-09-26 21:20:38 -04:00 · 2015-09-26 21:20:38 -04:00 · a0b6be1769
commit a0b6be1769
parent 17e54dce1e
1 changed files with 522 additions and 522 deletions
--- a/server/src/com/google/refine/Refine.java
+++ b/server/src/com/google/refine/Refine.java
@ -360,7 +360,7 @@ class RefineServer extends Server {
                grefineDir = new File(new File(parentDir, "Google"), "Refine");
                gridworksDir = new File(parentDir, "Gridworks");
            }
-        } else if (os.contains("os x")) {
+        } else if (os.contains("mac os x")) {
            // on macosx, use "~/Library/Application Support"
            String home = System.getProperty("user.home");