#!/bin/bash

# The ubuntu:22.04 docker image's bash ignores signal 15 when run as init, so
# force quit right away.
docker stop -t 0 oram_C &
docker stop -t 0 oram_D &
docker stop -t 0 oram_E &
wait