#!/bin/sh
arb_clean

if [ _"$1" != _"--all" ] ; then
    # grep only the processes owned by $USER
    kill -9 `ps aux | grep -w "^${USER}" | grep -v "0:0[0-9] grep " | grep -v "0:0[0-9] ps " | \
	grep -w -e arb -e arb_ntree | \
	grep -v nxagent | \
	sed "s/^${USER}[[:space:]]\+\([0-9]\+\)[[:space:]]\+.*/\1/"`
    for arbpid in /tmp/arb_pids_${USER}_* ; do
	if [ -f "$arbpid" ] ; then
	    rm -f "$arbpid"
	fi
    done
else
    # # if option --all was given kill all processes trying sudo
    sudo kill -9 `ps aux | grep -v "0:0[0-9] grep " | grep -v "0:0[0-9] ps " | \
	grep -w -e arb -e arb_ntree | \
	grep -v nxagent | \
	sed "s/^[a-z0-9]\+[[:space:]]\+\([0-9]\+\)[[:space:]]\+.*/\1/"`
    for arbpid in /tmp/arb_pids_*_* ; do
	if [ -f "$arbpid" ] ; then
	    rm -f "$arbpid"
	fi
    done
fi
