diff --git a/bin/explorer/explorerd/Makefile b/bin/explorer/explorerd/Makefile index a9867386e..e5e0819e7 100644 --- a/bin/explorer/explorerd/Makefile +++ b/bin/explorer/explorerd/Makefile @@ -138,10 +138,11 @@ check-minerd: stop: @if [ -f PIDs.txt ]; then \ while read PID; do \ - kill $$PID 2>/dev/null || echo "Unable to kill PID $$PID"; \ + if ps -p $$PID > /dev/null 2>&1; then \ + kill -15 $$PID 2>/dev/null; sleep 5; ps -p $$PID > /dev/null 2>&1 && kill -9 $$PID 2>/dev/null; \ + fi; \ done < PIDs.txt; \ rm -f PIDs.txt; \ - sleep 5; \ echo "Stopped explorer node environment"; \ else \ if [ "$(suppress_not_running)" != "1" ]; then \