#!/bin/sh
. "$(dirname "$0")/set-env.sh"
echo "$URL" >&2
while true; do
	ws-stdio -a "0.0.0.0:$PORT" -t "$PIO_TOKEN" "$@" || exit 1
done