mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
30 lines
556 B
Bash
30 lines
556 B
Bash
#!/bin/bash
|
|
|
|
DARCS=`which darcs`
|
|
SSH=`which ssh`
|
|
REPOSERVER=gfreposerver
|
|
|
|
if [ ! -x "$SSH" ]; then
|
|
echo "ssh ($SSH): command not found" 1>&2
|
|
exit 1
|
|
fi
|
|
|
|
if [ "$1" = "--stop" ]; then
|
|
$SSH -O exit "$REPOSERVER"
|
|
exit $?
|
|
fi
|
|
|
|
if [ ! -x "$DARCS" ]; then
|
|
echo "darcs ($DARCS): command not found" 1>&2
|
|
exit 1
|
|
fi
|
|
|
|
if ! $SSH -O check "$REPOSERVER" >& /dev/null; then
|
|
echo "Connection to $REPOSERVER is down, connecting..."
|
|
$SSH -f -M "$REPOSERVER" \
|
|
"bash -c 'while true; do echo -n .; sleep 30; done'" > /dev/null
|
|
sleep 1
|
|
fi
|
|
|
|
exec $DARCS "$@"
|