blob: 9f3bfc57c06eebf1e1cb4c18765962c512156fd2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#!/bin/bash
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 web server, pid = ${PID}." ]
kill -9 "$PID" || exit $?
ctx logger info [ "Removing web server root folder: $PYTHON_FILE_SERVER_ROOT." ]
rm -rf "$PYTHON_FILE_SERVER_ROOT"
|
