From 6d9af44499311033f6a4a4cd82e562cf76963c68 Mon Sep 17 00:00:00 2001
From: Mercier Pierre-Olivier <nemunaire@acu.epita.fr>
Date: Sun, 3 Nov 2013 01:06:51 +0100
Subject: [PATCH] FreeBSD ...

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

diff --git a/process/launch.sh b/process/launch.sh
index 41b2d43..8939c8a 100755
--- a/process/launch.sh
+++ b/process/launch.sh
@@ -57,12 +57,7 @@ then
     # Kill old liblersorf screen sessions
     if [ "$HOSTNAME" = "ksh" ]
     then
-	$SCREEN -ls | $GREP '[0-9]+\.lerdorf_[a-zA-Z0-9_-]+' |
-	while read LINE
-	do
-	    SNAME=`echo $LINE | $SED "s/^[^0-9]*([0-9]+\.[^ \t]+).*$/\1/"`
-	    $SCREEN -S "$SNAME" -X kill
-	done
+	killall screen
     else
 	echo "$SCREEN -ls" | $SU intradmin | $GREP '[0-9]+\.lerdorf_[a-zA-Z0-9_-]+' |
 	while read LINE