From c6206a93f443dde6d5021edae40ebb183b6b8221 Mon Sep 17 00:00:00 2001
From: Quentin Dufour <quentin.dufour@inria.fr>
Date: Mon, 16 Sep 2019 14:01:40 +0000
Subject: [PATCH] You said security?

---
 scripts/run-3 | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/scripts/run-3 b/scripts/run-3
index 2ed9034..1fbe882 100755
--- a/scripts/run-3
+++ b/scripts/run-3
@@ -62,6 +62,9 @@ for i in $(seq 0 $(expr $instances - 1)); do
     --rm \
     -d \
     --name "donarxp_server_${i}" \
+    --privileged \
+    --cap-add=SYS_PTRACE \
+    --security-opt seccomp=unconfined \
     -e HOME='/tmp' \
     -v `pwd`/out:/home/donar/out \
     registry.gitlab.inria.fr/qdufour/donar \
@@ -70,6 +73,9 @@ for i in $(seq 0 $(expr $instances - 1)); do
   docker run \
     --rm \
     -d \
+    --privileged \
+    --cap-add=SYS_PTRACE \
+    --security-opt seccomp=unconfined \
     --name "donarxp_client_${i}" \
     -e HOME='/tmp' \
     -v `pwd`/out:/home/donar/out \