From 79bcb918aad43ca88152839a000a7ff97ee2a7ec Mon Sep 17 00:00:00 2001
From: Antonio Terceiro <terceiro@softwarelivre.org>
Date: Thu, 2 Apr 2015 18:46:51 -0300
Subject: [PATCH] server: trap EXIT as well

---
 server | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server b/server
index 95d8a16..36d34da 100755
--- a/server
+++ b/server
@@ -24,6 +24,6 @@ echo "Hit ctrl-c to stop"
 echo "Browse to: https://softwarepublico.dev/"
 echo "Browse to: https://listas.softwarepublico.dev/"
 echo
-trap cleanup INT TERM
+trap cleanup INT TERM EXIT
 tail -f /dev/null
 echo
--
libgit2 0.21.2