diff --git a/server b/server index 73bdbe3..4c4a3d0 100755 --- a/server +++ b/server @@ -1,5 +1,7 @@ #!/bin/sh +set -e + if [ -f test/ip_helper.sh ]; then ROOTDIR=$(dirname $0) . test/ip_helper.sh -- libgit2 0.21.2