# ~/.bash_logout: executed by bash(1) upon exit.

# Kill ssh_agent if it's running
if [ -n "${SSH_AGENT_PID}" ]; then
	kill "${SSH_AGENT_PID}"
fi