Killing server at the end of the build

2020-01-23 18:38:25 +01:00
parent 15257f2e87
commit f855d02b39
1 changed files with 1 additions and 1 deletions
--- a/config/build.sh
+++ b/config/build.sh
@@ -3,4 +3,4 @@
 ./src/test/bash/install_vault.sh
 ./src/test/bash/create_certificates.sh
 ./src/test/bash/local_run_vault.sh &
-./mvnw clean install -Pdocs
+./mvnw clean install -Pdocs && pkill -f "vault server"