From e91f54932c9bfd98603c9ab96fdb2578d656ede7 Mon Sep 17 00:00:00 2001 From: Louwrentius Date: Sun, 8 Nov 2009 17:54:41 +0000 Subject: [PATCH] Marking current version as 2.40 --- ppss.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ppss.sh b/ppss.sh index 5c5ac80..99f5ab3 100755 --- a/ppss.sh +++ b/ppss.sh @@ -1498,7 +1498,7 @@ listen_for_job () { done if [ ! -z "$SSH_MASTER_PID" ] then - kill "$SSH_MASTER_PID" #>> /dev/null 2>&1 + kill "$SSH_MASTER_PID" fi log INFO "Finished. Consult ./$JOB_LOG_DIR for job output." break