From 5812a1be1e35a2a5812c90f1715d9c69cddb1f5a Mon Sep 17 00:00:00 2001
From: Demian Katz <demian.katz@villanova.edu>
Date: Tue, 10 Nov 2015 16:00:28 -0500
Subject: [PATCH] Further refinement of process killing.
---
build.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.xml b/build.xml
index 053c0666dfd..f0eeb3336f1 100644
--- a/build.xml
+++ b/build.xml
@@ -235,7 +235,7 @@
<istrue value="${seleniumjar}" />
<then>
<exec command="pkill -f xvfb" />
- <exec command="pkill -f "java -jar ${seleniumjar}"" />
+ <exec command="pkill -f "java -jar `basename ${seleniumjar}`"" />
</then>
</if>
--
GitLab