2d855cd680Co-authored-by: trop[bot] <37223003+trop[bot]@users.noreply.github.com> Co-authored-by: Shelley Vohr <shelley.vohr@gmail.com>
21 lines
493 B
Bash
Executable file
21 lines
493 B
Bash
Executable file
#!/bin/bash
|
|
|
|
SSHD_PID=$1
|
|
CLOUDFLARED_PID=$2
|
|
SESSION_TIMEOUT=${3:-3600}
|
|
|
|
# Wait for timeout or until processes die.
|
|
sleep "$SESSION_TIMEOUT" &
|
|
SLEEP_PID=$!
|
|
|
|
# Monitor if SSH or cloudflared dies early.
|
|
while kill -0 "$SSHD_PID" 2>/dev/null && kill -0 "$CLOUDFLARED_PID" 2>/dev/null && kill -0 "$SLEEP_PID" 2>/dev/null; do
|
|
sleep 10
|
|
done
|
|
|
|
# Cleanup.
|
|
kill "$SLEEP_PID" 2>/dev/null || true
|
|
kill "$SSHD_PID" 2>/dev/null || true
|
|
kill "$CLOUDFLARED_PID" 2>/dev/null || true
|
|
|
|
echo "SSH session ended"
|