diff --git a/scripts/stop.sh b/scripts/stop.sh index 5461caf9..c01ca1ba 100755 --- a/scripts/stop.sh +++ b/scripts/stop.sh @@ -4,12 +4,9 @@ set -e TEMP_DIR="/tmp" PYTHON_FILE_SERVER_ROOT=${TEMP_DIR}/python-simple-http-webserver -PID_FILE="server.pid" -PID=`cat ${PYTHON_FILE_SERVER_ROOT}/${PID_FILE}` - -ctx logger info "Shutting down file server. pid = ${PID}" -kill -9 ${PID} || exit $? +ctx logger info "Shutting down 'python -m SimpleHTTPServer' process" +pkill -9 -f 'python -m SimpleHTTPServer' ctx logger info "Deleting file server root directory (${PYTHON_FILE_SERVER_ROOT})" -rm -rf ${PYTHON_FILE_SERVER_ROOT} +rm -rf ${PYTHON_FILE_SERVER_ROOT} \ No newline at end of file