Skip to content
Permalink
Browse files
6941: build.sh does not terminate jetty after executing '--packageJmc'
Reviewed-by: hirt
  • Loading branch information
Patrick Reinhart authored and thegreystone committed Oct 16, 2020
1 parent 1988ad1 commit 8129edddbca6ff021af0355114aad47795f32e9d
Showing with 2 additions and 2 deletions.
  1. +2 −2 build.sh
@@ -15,7 +15,7 @@ function err_report() {
function exitTrap() {
if [ -n "${JETTY_PID}" ]; then
echo "$(date +%T) terminating jetty server"
pkill -P "${JETTY_PID}"
kill "${JETTY_PID}"
fi
}

@@ -80,7 +80,7 @@ function packageJmc() {
echo "$(date +%T) waiting for jetty server to start"
sleep 1
done
echo "$(date +%T) jetty server up and running"
echo "$(date +%T) jetty server up and running on pid ${JETTY_PID}"

popd 1> /dev/null || {
err_log "could not go to project root directory"

0 comments on commit 8129edd

Please sign in to comment.