diff options
| -rw-r--r-- | java/vaadin/build.xml | 2 | ||||
| -rw-r--r-- | java/vaadin/src/run/java/ch/asynk/Main.java | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/java/vaadin/build.xml b/java/vaadin/build.xml index 4cd8da1..c36b396 100644 --- a/java/vaadin/build.xml +++ b/java/vaadin/build.xml @@ -192,7 +192,7 @@ </jar> </target> - <target name="jar" depends="-jar.deps.check,-jar.deps"> + <target name="jar" description="build runnable jar" depends="-jar.deps.check,-jar.deps"> <delete file="${dist.dir}/${jar.name}"/> <jar jarfile="${dist.dir}/${jar.name}"> <manifest> diff --git a/java/vaadin/src/run/java/ch/asynk/Main.java b/java/vaadin/src/run/java/ch/asynk/Main.java index faf1f72..cff6ee9 100644 --- a/java/vaadin/src/run/java/ch/asynk/Main.java +++ b/java/vaadin/src/run/java/ch/asynk/Main.java @@ -6,6 +6,7 @@ public class Main { public static void main(String[] args) throws Exception { + System.err.println("!!! org.vaadin.jetty.VaadinJettyServer uses it's own VaadinServlet instance instead of HelloWorldServlet.\n"); String webRoot = System.getProperty("WEBROOT"); if (webRoot == null) webRoot = "./src/main/WebContent/"; new VaadinJettyServer(8080, HelloWorld.class, webRoot).start(); |