Fix SIGINT handling (#595)

GoogleCloudPlatform · Aug 11, 2022 · f7f30c7 · f7f30c7
1 parent b309eb9
commit f7f30c7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/dev b/scripts/dev
@@ -45,6 +45,7 @@ mkdir -p "$VERIFICATION_LOGS_PATH"
 echo "Logs stored in $VERIFICATION_LOGS_PATH" | tee "$VERIFICATION_LOGS_PATH/verify.log"
 
 docker run \
+  --init \
   --mount "type=bind,source=/var/run/docker.sock,target=/var/run/docker.sock,readonly" \
   --mount "type=bind,source=$VERIFICATION_LOGS_PATH,target=/logs" \
   --net=${DOCKER_NETWORK} \