From c4fba0b5b8f76933945f06c6588fadda0846be0e Mon Sep 17 00:00:00 2001
From: Louwrentius <Louwrentius@7749c172-d934-11dd-87b6-9d1a99559f42>
Date: Sun, 8 Nov 2009 17:54:41 +0000
Subject: [PATCH] Marking current version as 2.40

---
 branches/distributed-ppss/ppss.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/branches/distributed-ppss/ppss.sh b/branches/distributed-ppss/ppss.sh
index 5c5ac80..99f5ab3 100755
--- a/branches/distributed-ppss/ppss.sh
+++ b/branches/distributed-ppss/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