From 34907404c0706aa5bf27bd03f5fb83ca8d76ccef Mon Sep 17 00:00:00 2001
From: Razvan Deaconescu <razvan.deaconescu@cs.pub.ro>
Date: Tue, 3 Aug 2010 21:22:23 +0300
Subject: [PATCH] ControlScripts: replace undefined SCHEDULE_CLIENT_SCRIPT with
 script name in stop_client.sh

---
 ControlScripts/stop_client.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ControlScripts/stop_client.sh b/ControlScripts/stop_client.sh
index 612f2b5..6042ed7 100755
--- a/ControlScripts/stop_client.sh
+++ b/ControlScripts/stop_client.sh
@@ -27,4 +27,4 @@ client_type=$1
 
 stop_client ${client_type}
 
-pkill ${SCHEDULE_CLIENT_SCRIPT}
+pkill schedule_client.sh
-- 
2.20.1