diff --git a/lib/idmgr_mod_ssh.sh b/lib/idmgr_mod_ssh.sh index adb598b..38cd65d 100644 --- a/lib/idmgr_mod_ssh.sh +++ b/lib/idmgr_mod_ssh.sh @@ -199,8 +199,10 @@ idm_ssh__agent_clean () #set -x # Remove process - if [ ! -z "$pid" -a "$pid" -gt 0 ]; then - kill $pid + if [ ! -z "$pid" ]; then + if [ "$pid" -gt 0 ]; then + kill $pid + fi fi # Remove socket