diff options
Diffstat (limited to 'build')
-rw-r--r-- | build/build.properties | 8 | ||||
-rw-r--r-- | build/buildhelpers/com/vaadin/buildhelpers/CompileDefaultTheme.java | 2 | ||||
-rw-r--r-- | build/package/start.sh | 2 |
3 files changed, 6 insertions, 6 deletions
diff --git a/build/build.properties b/build/build.properties index 7ae42f9f23..4d8ef66429 100644 --- a/build/build.properties +++ b/build/build.properties @@ -1,8 +1,8 @@ result-path=build/result checkout-path=build/checkout -product-file=itmill-toolkit -product-name=IT Mill Toolkit -toolkit-package=com/itmill/toolkit -eclipse-workspace-name=itmill-toolkit-examples +product-file=vaadin +product-name=Vaadin +toolkit-package=com/vaadin +eclipse-workspace-name=vaadin-examples eclipse-launch-vmargs=-Xms256M -Xmx512M gwt-dir=build/gwt diff --git a/build/buildhelpers/com/vaadin/buildhelpers/CompileDefaultTheme.java b/build/buildhelpers/com/vaadin/buildhelpers/CompileDefaultTheme.java index 0ed54a91cd..468cf0f4bf 100644 --- a/build/buildhelpers/com/vaadin/buildhelpers/CompileDefaultTheme.java +++ b/build/buildhelpers/com/vaadin/buildhelpers/CompileDefaultTheme.java @@ -18,7 +18,7 @@ import java.util.Comparator; */ public class CompileDefaultTheme { - private static final String THEME_DIR = "./WebContent/ITMILL/themes/"; + private static final String THEME_DIR = "./WebContent/VAADIN/themes/"; private static final String BASE = "base"; private static final String DEFAULT = "default"; private static final String REINDEER = "reindeer"; diff --git a/build/package/start.sh b/build/package/start.sh index 0dbf824d43..b7faad9be3 100644 --- a/build/package/start.sh +++ b/build/package/start.sh @@ -4,4 +4,4 @@ if [ "$1" != "" ] ; then cd $1 fi -java -cp WebContent/demo/lib/jetty/jetty-6.1.7.jar:WebContent/demo/lib/jetty/jetty-util-6.1.7.jar:WebContent/demo/lib/jetty/servlet-api-2.5-6.1.7.jar:WebContent/WEB-INF/classes:WebContent/WEB-INF/src com.vaadin.launcher.ITMillToolkitDesktopMode $ITMILLTOOLKIT_PARAMETERS +java -cp WebContent/demo/lib/jetty/jetty-6.1.7.jar:WebContent/demo/lib/jetty/jetty-util-6.1.7.jar:WebContent/demo/lib/jetty/servlet-api-2.5-6.1.7.jar:WebContent/WEB-INF/classes:WebContent/WEB-INF/src com.vaadin.launcher.ITMillToolkitDesktopMode $VAADIN_PARAMETERS |