From da961e65f6a0be92813cf9ed7ba774f9cbeca7f4 Mon Sep 17 00:00:00 2001 From: dschlueter Date: Tue, 19 May 2026 19:05:29 +0200 Subject: [PATCH] feat: start-servers.sh startet Coder und Judge parallel --- start-servers.sh | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100755 start-servers.sh diff --git a/start-servers.sh b/start-servers.sh new file mode 100755 index 0000000..c6f424f --- /dev/null +++ b/start-servers.sh @@ -0,0 +1,30 @@ +#!/usr/bin/env bash +set -euo pipefail + +SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)" +LOG_CODER=$(mktemp /tmp/coder_XXXXXX.log) +LOG_JUDGE=$(mktemp /tmp/judge_XXXXXX.log) + +echo "[*] Starte beide Server parallel ..." +bash "$SCRIPT_DIR/start-coder.sh" > "$LOG_CODER" 2>&1 & +PID_CODER=$! +bash "$SCRIPT_DIR/start-judge.sh" > "$LOG_JUDGE" 2>&1 & +PID_JUDGE=$! + +wait_result() { + local PID="$1" NAME="$2" LOG="$3" + if wait "$PID"; then + echo "[✓] $NAME bereit" + else + echo "[✗] $NAME fehlgeschlagen — Log:" + cat "$LOG" + return 1 + fi +} + +RC=0 +wait_result "$PID_CODER" "Coder (:8001)" "$LOG_CODER" || RC=1 +wait_result "$PID_JUDGE" "Judge (:8002)" "$LOG_JUDGE" || RC=1 + +rm -f "$LOG_CODER" "$LOG_JUDGE" +exit $RC