model-selector/restart.sh

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

ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
"${ROOT_DIR}/killserver.sh"
exec "${ROOT_DIR}/run.sh"