#!/usr/bin/env bash
cd "$(dirname "$0")" || exit 1
./scripts/stop.sh
[ "${1:-}" = "--pause" ] && sleep 2
exit 0