#!/bin/sh
#
# Agents shutdown file
#
# This file is executed at kde shutdown.
# Uncomment the following lines to kill the agents
# that were started at session startup.

if [ "${GPG_AGENT_INFO}" ]
then
	kill $(echo ${GPG_AGENT_INFO} | cut -d':' -f 2) >/dev/null 2>&1
fi

if [ "${SSH_AGENT_PID}" ]
then
	ssh-agent -k
fi