pkills instances of Shell.py prior to dropping database
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 14 Nov 2006 09:46:48 +0000 (09:46 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 14 Nov 2006 09:46:48 +0000 (09:46 +0000)
peers-test.mk

index 88ca119..aa53791 100644 (file)
@@ -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