Sign in
third-party-mirror
/
jetty
/
c955fb609ea1ad9e0e16498ca18f7851463ab54f
/
.
/
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