#!/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"