File: jetty-start.sh

package info (click to toggle)
jetty12 12.0.32-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 87,736 kB
  • sloc: java: 734,480; xml: 58,950; javascript: 1,041; sh: 874; jsp: 391; sql: 40; makefile: 9
file content (17 lines) | stat: -rwxr-xr-x 395 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
#!/bin/sh
#
# Startup script for Jetty with systemd
#

set -e

# Load the service settings
. /etc/default/jetty12

# Find the Java runtime and set JAVA_HOME
. /usr/libexec/jetty12/jetty-locate-java.sh

# Start Tomcat
cd $CATALINA_BASE && exec $CATALINA_HOME/bin/catalina.sh run

cd $JETTY_BASE && $JAVA_HOME/bin/java $JAVA_OPTIONS -jar $JETTY_HOME/start.jar -Djetty.base=$JETTY_BASE $JETTY_ARGS