diff --git a/experiments/memcached.shared.sh b/experiments/memcached.shared.sh index 79027dfb482e4425189948e465f784db6c160017..1dd5e8f94f2120d8c9488fc94e53265ff0682dcc 100644 --- a/experiments/memcached.shared.sh +++ b/experiments/memcached.shared.sh @@ -10,7 +10,9 @@ cleanup_mutilate() { cleanup_memcached() { echo "Killing memcached process" - kill -INT $MEMCACHED_PID + kill -INT $MEMCACHED_PID || true + sleep 2 + kill $MEMCACHED_PID || true } start_memcached() {