From 5245ca05f412edd442d6e7d7ceef93af0cc5e14b Mon Sep 17 00:00:00 2001
From: Sam Al-Sapti <sam@sapti.me>
Date: Wed, 3 May 2023 18:17:23 +0200
Subject: [PATCH] Add -k to run.sh

---
 src/run.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/run.sh b/src/run.sh
index cb8fb10..688cc03 100755
--- a/src/run.sh
+++ b/src/run.sh
@@ -2,6 +2,11 @@
 
 cd MP-SPDZ
 
+if [[ $1 == "-k" ]]; then
+    killall semi-party.x
+    exit $?
+fi
+
 for i in $(seq 0 2); do
-    eval ".//semi-party.x -N 3 -p $i gale_shapley > ../out-p$i.txt 2>&1 &"
+    ./semi-party.x -N 3 -p "$i" gale_shapley > "../out-p$i.txt" 2>&1 &
 done