Fix: ssh-agent error

This commit is contained in:
mrjk 2018-03-28 08:12:16 -04:00
parent ab46eae784
commit 445843d817

View File

@ -199,9 +199,11 @@ idm_ssh__agent_clean ()
#set -x
# Remove process
if [ ! -z "$pid" -a "$pid" -gt 0 ]; then
if [ ! -z "$pid" ]; then
if [ "$pid" -gt 0 ]; then
kill $pid
fi
fi
# Remove socket
if [ -f "$socket" ]; then