From 3efda604911621088be965696d1ad8747590caec Mon Sep 17 00:00:00 2001
From: hjp <hjp>
Date: Mon, 10 Dec 2001 11:56:24 +0000
Subject: [PATCH] Kill SSH agent on logout

---
 .zlogout | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.zlogout b/.zlogout
index d48ecab..4fe327c 100644
--- a/.zlogout
+++ b/.zlogout
@@ -1,4 +1,4 @@
-if [[ -a ~/Dont_forget ]]
+if [ -n "$SSH_AGENT_PID" ]
 then
-	less ~/Dont_forget
+    kill "$SSH_AGENT_PID"
 fi