#!/usr/bin/env bash
set -euo pipefail

asset_dir="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
python_bin="${PYTHON_BIN:-python3}"
"$python_bin" "$asset_dir/ticket_sweep.py" "$asset_dir/tickets.json" \
  --terms "sign-out,session,authentication,timeout" \
  --after-readback "$asset_dir/tickets-after.json"