diff options
author | Jérémy Zurcher <jeremy@asynk.ch> | 2017-03-22 09:59:38 +0100 |
---|---|---|
committer | Jérémy Zurcher <jeremy@asynk.ch> | 2017-03-22 09:59:38 +0100 |
commit | 6437ef7aff1291f74ddbcf0ab04aa0a7e346a591 (patch) | |
tree | 7113090b3db6365c1971acd19ebafaec7a3bb9ed /java | |
parent | 6085e4286da1ad625ce5da7bfdf9aa8faff19f02 (diff) | |
download | share-6437ef7aff1291f74ddbcf0ab04aa0a7e346a591.zip share-6437ef7aff1291f74ddbcf0ab04aa0a7e346a591.tar.gz |
java : vaadin : add description to jar target, add msg stating that HelloWorldServlet is not used
Diffstat (limited to 'java')
-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(); |