summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJérémy Zurcher <jeremy@asynk.ch>2017-03-22 09:59:38 +0100
committerJérémy Zurcher <jeremy@asynk.ch>2017-03-22 09:59:38 +0100
commit6437ef7aff1291f74ddbcf0ab04aa0a7e346a591 (patch)
tree7113090b3db6365c1971acd19ebafaec7a3bb9ed
parent6085e4286da1ad625ce5da7bfdf9aa8faff19f02 (diff)
downloadshare-6437ef7aff1291f74ddbcf0ab04aa0a7e346a591.zip
share-6437ef7aff1291f74ddbcf0ab04aa0a7e346a591.tar.gz
java : vaadin : add description to jar target, add msg stating that HelloWorldServlet is not used
-rw-r--r--java/vaadin/build.xml2
-rw-r--r--java/vaadin/src/run/java/ch/asynk/Main.java1
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();