Sign in
third-party-mirror
/
jetty
/
9ba7b713d234fde92f886f92557d25e3079fc27a
/
.
/
jetty-start
/
src
/
test
/
resources
/
usecases
/
base.with.include.jetty.dirs
/
start.ini
blob: 9e16be66fd2c670acc4c39c5a3ef83b85eae0c06 [
file
] [
log
] [
blame
]
--
include
-
jetty
-
dir
=
$
{
start
.
basedir
}/../../
extra
-
jetty
-
dirs
/
logging
--
module
=
server
,
http
,
jmx
jetty
.
port
=
9090