blob: 58a0eebff808c99df59ee7f85bf94af538d73eb8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
#
# Sample Configuration File
#
# JAVA
# Command to invoke Java. If not set, java (from the PATH) will be used.
#
# JAVA_OPTIONS
# Extra options to pass to the JVM
#
# JETTY_HOME
# Where Jetty is installed. If not set, the script will try go
# guess it by looking at the invocation path for the script
# The java system property "jetty.home" will be
# set to this value for use by configure.xml files, f.e.:
#
# <Arg><Property name="jetty.home" default="."/>/webapps/jetty.war</Arg>
#
JETTY_HOME=%%PREFIX%%/%%APP_NAME%%
#
# JETTY_BASE
# Where your Jetty base directory is. If not set, the value from
# $JETTY_HOME will be used.
#
# IT IS STRONGLY RECOMMENDED THAT YOU MODIFY THIS VARIABLE TO POINT
# TO THE INSTALLATION OF YOUR WEB APPLICATION, KEEPING YOUR WEB
# APPLICATION SEPARATE FROM THE JETTY HOME LOCATION.
#
# MORE INFORMATION HERE:
#
# http://www.eclipse.org/jetty/documentation/current/startup-base-and-home.html
#
JETTY_BASE=%%WWWDIR%%/demo-base
# JETTY_RUN
# Where the $NAME.pid file should be stored. It defaults to the
# first available of /var/run, /usr/var/run, JETTY_BASE and /tmp
# if not set.
#
# JETTY_PID
# The Jetty PID file, defaults to $JETTY_RUN/$NAME.pid
#
JETTY_PID=%%WWWDIR%%/demo-base/%%APP_NAME%%.pid
# JETTY_ARGS
# The default arguments to pass to jetty.
# For example
# JETTY_ARGS=jetty.http.port=8080 jetty.ssl.port=8443
#
JETTY_ARGS=jetty.logging.dir=%%WWWDIR%%/demo-base/logs
# JETTY_USER
# if set, then used as a username to run the server as
#
# JETTY_SHELL
# If set, then used as the shell by su when starting the server. Will have
# no effect if start-stop-daemon exists. Useful when JETTY_USER does not
# have shell access, e.g. /bin/false
#
|
