#!/usr/bin/env bash
set -euo pipefail
cd "$(dirname "$0")"
exec php -q ws-server/server.php