attempt to properly shutdown

jsteemann · jsteemann · commit d72381ec1fde · 2017-02-10T11:47:08.000+01:00
diff --git a/.travis.yml b/.travis.yml
@@ -16,4 +16,4 @@ script:
   - phpunit --configuration ./tests/phpunit.xml
 
 after_script:
-  - killall -9 arangod || true
+  - ./tests/travis/teardown_arangodb.sh
diff --git a/tests/travis/teardown_arangodb.sh b/tests/travis/teardown_arangodb.sh
@@ -0,0 +1,9 @@
+
+ARCH=$(arch)
+if [ "$ARCH" == "x86_64" ]; then
+  ARANGOD="arangod_x86_64"
+else
+  ARANGOD="arangod"
+fi
+echo "killing arangod binary ${ARANGOD}"
+killall -9 "${ARANGOD}" || true
