From ae0f578f23c0bd5e0971debb7501ae097d35895d Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Tue, 14 Nov 2006 09:46:48 +0000
Subject: [PATCH] pkills instances of Shell.py prior to dropping database

---
 peers-test.mk | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/peers-test.mk b/peers-test.mk
index 88ca119..aa53791 100644
--- a/peers-test.mk
+++ b/peers-test.mk
@@ -52,6 +52,8 @@ install-api:
 stop-clients:
 	@echo 'pkilling psql'
 	@-pkill psql
+	@echo 'pkilling Shell.py'
+	@-pkill Shell.py
 	@echo stopping httpd
 	@chroot $(CHROOT) /etc/plc.d/httpd stop
 
-- 
2.43.0