Sign in
third-party-mirror
/
jetty
/
refs/heads/tag-jetty-9.3.19.v20170502
/
.
/
jetty-cdi
/
test-cdi-it
/
src
/
test
/
scripts
/
stop-jetty.sh
blob: 32e407749080ef1ee2017e4ebf0d71444bcdaaca [
file
] [
log
] [
blame
]
#!/usr/bin/env bash
JAVA_HOME
=
$1
JETTY_HOME
=
$2
JETTY_BASE
=
$3
cd
"$JETTY_BASE"
"$JAVA_HOME/bin/java"
-
jar
"$JETTY_HOME/start.jar"
\
--
stop STOP
.
PORT
=
58181
STOP
.
KEY
=
it