#!/bin/bash ROOT_PATH=`cd "$(dirname $0)/../" && pwd` pid=`cat $ROOT_PATH/tmp/pids/puma.pid` kill $pid && echo "killed $pid"