From a40c8fd9cc099453326a638d16371dd8584d48bb Mon Sep 17 00:00:00 2001
From: Antonio Terceiro <terceiro@softwarelivre.org>
Date: Thu, 12 Mar 2015 10:57:25 -0300
Subject: [PATCH] server: add set -e

---
 server | 2 ++
 1 file changed, 2 insertions(+), 0 deletions(-)

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