Add -k to run.sh

2023-05-03 18:17:23 +02:00 · 2023-05-03 18:17:23 +02:00 · 5245ca05f4
parent cbdf6e9e17
commit 5245ca05f4
1 changed files with 6 additions and 1 deletions
--- 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