shuuuuun
5/10/2019 - 12:51 PM

puma-kill

#!/bin/bash

ROOT_PATH=`cd "$(dirname $0)/../" && pwd`

pid=`cat $ROOT_PATH/tmp/pids/puma.pid`
kill $pid && echo "killed $pid"