commit 82259c2854e52160eefd949314a8d741225d179e
author Artur Signell <artur@vaadin.com> Tue Mar 01 18:54:00 2016 +0200
committer Thomas Broyer <t.broyer@gmail.com> Thu Mar 03 11:35:10 2016 +0000
tree 91080e3fd4ac2975c5bf69ec6a6fab812d493159
parent 970bbcaa4b9a24b8859e5b52a32b65248bc13ae6

Allow launcherDir to be created when starting CodeServer

Change-Id: Ic6713fc2a26ed6cf2382c77f0213de586055c504

dev/codeserver/java/com/google/gwt/dev/codeserver/Options.java

diff --git a/dev/codeserver/java/com/google/gwt/dev/codeserver/Options.java b/dev/codeserver/java/com/google/gwt/dev/codeserver/Options.java
index d11c9ee..0ba0f06 100644
--- a/dev/codeserver/java/com/google/gwt/dev/codeserver/Options.java
+++ b/dev/codeserver/java/com/google/gwt/dev/codeserver/Options.java
@@ -705,7 +705,7 @@
       }
 
       File candidate = new File(args[startIndex + 1]);
-      if (!candidate.isDirectory()) {
+      if (candidate.exists() && !candidate.isDirectory()) {
         System.err.println("not a directory: " + candidate);
         return -1;
       }