blob: 664fec838153e1595bf1654e54c86a053a0567ac [file] [log] [blame]
# The XMLs we expect (order is important)
XML|${jetty.home}/etc/jetty.xml
XML|${jetty.home}/etc/jetty-http.xml
XML|${jetty.home}/etc/jetty-jmx.xml
# The LIBs we expect (order is irrelevant)
LIB|${jetty.home}/lib/jetty-http-9.3.jar
LIB|${jetty.home}/lib/jetty-io-9.3.jar
LIB|${jetty.home}/lib/jetty-jmx-9.3.jar
LIB|${jetty.home}/lib/jetty-schemas-3.1.jar
LIB|${jetty.home}/lib/jetty-server-9.3.jar
LIB|${jetty.home}/lib/jetty-util-9.3.jar
LIB|${jetty.home}/lib/jetty-xml-9.3.jar
LIB|${jetty.home}/lib/servlet-api-3.1.jar
LIB|${jetty.base}/lib/agent-jdk-1.6.jar
# The Properties we expect (order is irrelevant)
# (this is the property we actually set in jetty.base)
PROP|jetty.http.port=9090
# PROP|java.vm.specification.version=1.6
# (these are the ones set by default from jetty.home modules)
# PROP|jetty.http.idleTimeout=30000
# PROP|jetty.httpConfig.delayDispatchUntilContent=false
# PROP|jetty.server.dumpAfterStart=false
# PROP|jetty.server.dumpBeforeStop=false
# PROP|jetty.httpConfig.outputBufferSize=32768
# PROP|jetty.httpConfig.requestHeaderSize=8192
# PROP|jetty.httpConfig.responseHeaderSize=8192
# PROP|jetty.httpConfig.sendDateHeader=false
# PROP|jetty.httpConfig.sendServerVersion=true
# PROP|jetty.threadPool.maxThreads=200
# PROP|jetty.threadPool.minThreads=10
# PROP|jetty.threadPool.idleTimeout=60000