Add container-interrupt script

3 years ago · a72f41b5a3
parent 180eeb4b82
commit a72f41b5a3
1 changed files with 7 additions and 0 deletions
--- a/tools/container-interrupt.sh
+++ b/tools/container-interrupt.sh
@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+
+# Make sure tor-browser-build knows why the build stopped.
+touch tmp/interrupted
+
+# Send SIGINT to all processes inside the container.
+kill -s SIGINT $(./tools/container-pids.sh)