|
|
@ -418,7 +418,16 @@ main() {
|
|
|
|
|
|
|
|
|
|
|
|
__framework_sh__stop_runtime() {
|
|
|
|
__framework_sh__stop_runtime() {
|
|
|
|
printf "Stopping Runtime: "
|
|
|
|
printf "Stopping Runtime: "
|
|
|
|
pkill sledgert > /dev/null 2> /dev/null
|
|
|
|
# Ignoring RC of 1, as it indicates no matching process
|
|
|
|
pkill hey > /dev/null 2> /dev/null
|
|
|
|
sudo pkill sledgert > /dev/null 2> /dev/null
|
|
|
|
|
|
|
|
(($? > 1)) && {
|
|
|
|
|
|
|
|
printf "[ERR]\npkill sledgrt: %d\n" $?
|
|
|
|
|
|
|
|
exit 1
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
sudo pkill hey > /dev/null 2> /dev/null
|
|
|
|
|
|
|
|
(($? > 1)) && {
|
|
|
|
|
|
|
|
printf "[ERR]\npkill hey: %d\n" $?
|
|
|
|
|
|
|
|
exit 1
|
|
|
|
|
|
|
|
}
|
|
|
|
printf "[OK]\n"
|
|
|
|
printf "[OK]\n"
|
|
|
|
}
|
|
|
|
}
|
|
|
|