diff options
author | Jérémy Zurcher <jeremy@asynk.ch> | 2017-03-16 12:25:55 +0100 |
---|---|---|
committer | Jérémy Zurcher <jeremy@asynk.ch> | 2017-03-16 12:25:55 +0100 |
commit | 6085e4286da1ad625ce5da7bfdf9aa8faff19f02 (patch) | |
tree | faa651020c023576cb8a9aad57614d83af382603 /java/vaadin/src/run | |
parent | 22bc86a5d2fcfe42bc4045297f8d75b3c4ed2ab0 (diff) | |
download | share-6085e4286da1ad625ce5da7bfdf9aa8faff19f02.zip share-6085e4286da1ad625ce5da7bfdf9aa8faff19f02.tar.gz |
java : vaadin : clean up ant tasks, support runnable jar
Diffstat (limited to 'java/vaadin/src/run')
-rw-r--r-- | java/vaadin/src/run/java/ch/asynk/Main.java | 4 | ||||
-rw-r--r-- | java/vaadin/src/run/resources/jetty-logging.properties | 6 |
2 files changed, 9 insertions, 1 deletions
diff --git a/java/vaadin/src/run/java/ch/asynk/Main.java b/java/vaadin/src/run/java/ch/asynk/Main.java index 5686ecc..faf1f72 100644 --- a/java/vaadin/src/run/java/ch/asynk/Main.java +++ b/java/vaadin/src/run/java/ch/asynk/Main.java @@ -6,6 +6,8 @@ public class Main { public static void main(String[] args) throws Exception { - new VaadinJettyServer(8080, HelloWorld.class, "./src/main/WebContent/").start(); + String webRoot = System.getProperty("WEBROOT"); + if (webRoot == null) webRoot = "./src/main/WebContent/"; + new VaadinJettyServer(8080, HelloWorld.class, webRoot).start(); } } diff --git a/java/vaadin/src/run/resources/jetty-logging.properties b/java/vaadin/src/run/resources/jetty-logging.properties new file mode 100644 index 0000000..71495db --- /dev/null +++ b/java/vaadin/src/run/resources/jetty-logging.properties @@ -0,0 +1,6 @@ +# Configure for System.err output +org.eclipse.jetty.util.log.class=org.eclipse.jetty.util.log.StdErrLog +# Configure StdErrLog to log all jetty namespace at default of WARN or above +org.eclipse.jetty.LEVEL=WARN +# Configure StdErrLog to log websocket specific namespace at DEBUG or above +org.eclipse.jetty.websocket.LEVEL=INFO |