support yet another webserver in the integration tests: gatling

diff --git a/test/integration/framework b/test/integration/framework
index fa451cf4f3c2c7cfa988efb43688090254ae3f3f..ccab010e6bc2a32758a8fb79228c8f3977d01446 100644 (file)
--- a/test/integration/framework
+++ b/test/integration/framework
@@ -612,6 +612,11 @@ changetowebserver() {
        if which weborf > /dev/null; then
                weborf -xb aptarchive/ 2>&1 > /dev/null &
                addtrap "kill $!;"
+       elif which gatling > /dev/null; then
+               cd aptarchive
+               gatling -p 8080 -F -S 2>&1 > /dev/null &
+               addtrap "kill $!;"
+               cd - > /dev/null
        elif which lighttpd > /dev/null; then
                echo "server.document-root = \"$(readlink -f ./aptarchive)\"
 server.port = 8080