From b03703bf96e50003d0c530fc72246045f322a47f Mon Sep 17 00:00:00 2001
From: Mercier Pierre-Olivier <nemunaire@acu.epita.fr>
Date: Mon, 16 Sep 2013 18:58:36 +0200
Subject: [PATCH] Kill others ssh-agent before relaunching one

---
 process/launch.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/process/launch.sh b/process/launch.sh
index b96728b..27c7533 100755
--- a/process/launch.sh
+++ b/process/launch.sh
@@ -14,6 +14,7 @@ launch_screen()
     if [ -n "$3" ] && [ -f "$3" ]
     then
 	TMP=`$SU -c 'mktemp' intradmin`
+	$SU -c "killall ssh-agent" intradmin
 	$SU -c "ssh-agent" intradmin > "$TMP"
 	$SU -c ". $TMP; ssh-add '$3'" intradmin
 	CMD=". $TMP; ssh-add -l; echo; $CMD"