Run gunicorn webserver and kill its workers when finished.

gistfile1.sh

#!/bin/bash
# run if user hits control-c
control_c()
{
    echo "Oh no, exiting!"
    for pid in $(cat gunicorn.pid)
    do
        echo "killing $pid"
        kill -SIGKILL $pid
    done

    rm gunicorn.pid
    exit $?
}

# trap keyboard interrupt (control-c)
trap control_c SIGINT

gunicorn -c reloader.py --workers=2 --worker-class=gevent --pid=gunicorn.pid devwsgi:app &

while true; do
    :
done