diff --git a/runtime/tests/kill_sledge.sh b/runtime/tests/kill_sledge.sh new file mode 100755 index 0000000..814469c --- /dev/null +++ b/runtime/tests/kill_sledge.sh @@ -0,0 +1,6 @@ +#!/bin/bash + +pid=`ps -ef|grep "sledgert"|grep -v grep |awk '{print $2}'` +echo $pid +kill -2 $pid +