From 43a839b8082f68a361090315a45358b9a2654ecd Mon Sep 17 00:00:00 2001
From: Demian Katz <demian.katz@villanova.edu>
Date: Tue, 10 Nov 2015 15:56:25 -0500
Subject: [PATCH] More targeted kill.

---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 7703eae547f..053c0666dfd 100644
--- a/build.xml
+++ b/build.xml
@@ -235,7 +235,7 @@
       <istrue value="${seleniumjar}" />
       <then>
         <exec command="pkill -f xvfb" />
-        <exec command="pkill -f selenium" />
+        <exec command="pkill -f &quot;java -jar ${seleniumjar}&quot;" />
       </then>
     </if>
 
-- 
GitLab