#!/bin/sh

#avoid interactive behaviour
export GIT_ASKPASS=/bin/false

while true; do
   swipl -s load.pl -g server
   if [ "$?" = 42 ]; then
	break;
   fi
   reset
done