#!/bin/sh

PID=`cat /tmp/webserver-rw6pgl8b/pid`

kill -TERM $PID