Revision: 7036 Author: sco...@google.com Date: Thu Nov 19 13:48:55 2009 Log: JUnit's -noserver option was not actually doing anything useful.
Review by: jat http://code.google.com/p/google-web-toolkit/source/detail?r=7036 Modified: /trunk/dev/core/src/com/google/gwt/dev/GWTShell.java /trunk/user/src/com/google/gwt/junit/JUnitShell.java ======================================= --- /trunk/dev/core/src/com/google/gwt/dev/GWTShell.java Mon Nov 16 18:59:09 2009 +++ /trunk/dev/core/src/com/google/gwt/dev/GWTShell.java Thu Nov 19 13:48:55 2009 @@ -200,7 +200,7 @@ TreeLogger logger = ui.getWebServerLogger("Tomcat", null); // TODO(bruce): make tomcat work in terms of the modular launcher String whyFailed = EmbeddedTomcatServer.start(isHeadless() ? getTopLogger() - : logger, getPort(), options); + : logger, getPort(), options, shouldAutoGenerateResources()); if (whyFailed != null) { getTopLogger().log(TreeLogger.ERROR, "Starting Tomcat: " + whyFailed); @@ -222,4 +222,8 @@ linkerStack.produceOutput(linkLogger, artifacts, false, outFileSet); outFileSet.close(); } -} + + protected boolean shouldAutoGenerateResources() { + return true; + } +} ======================================= --- /trunk/user/src/com/google/gwt/junit/JUnitShell.java Wed Nov 18 13:24:48 2009 +++ /trunk/user/src/com/google/gwt/junit/JUnitShell.java Thu Nov 19 13:48:55 2009 @@ -899,6 +899,7 @@ return true; } + @Override protected boolean shouldAutoGenerateResources() { return shouldAutoGenerateResources; } -- http://groups.google.com/group/Google-Web-Toolkit-Contributors