From ca2322cc5cfb4fc75bd7ae446312b3295f9c2d49 Mon Sep 17 00:00:00 2001
From: Peter Cai <peter.cai@uwaterloo.ca>
Date: Tue, 14 Feb 2023 14:35:06 -0500
Subject: [PATCH] experiments: Make sure memcached is killed properly
---
experiments/memcached.shared.sh | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/experiments/memcached.shared.sh b/experiments/memcached.shared.sh
index 79027df..1dd5e8f 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() {
--
GitLab