diff --git a/bin/kill_stratum b/bin/kill_stratum new file mode 100755 index 0000000..4d8d06e --- /dev/null +++ b/bin/kill_stratum @@ -0,0 +1,13 @@ +#!/bin/bash + +PLINE=$(ps -ef | grep "stratum config/$1" | grep -v grep) +if [ $? ]; then + PS=$(echo $PLINE | cut -d ' ' -f 2) + if [ $PS ]; then + kill $PS + echo "killed stratum process $PS" + else + echo "Process not found" + exit 1 + fi +fi