From b6059525852d1b7de63afe0c5f2274638c45848b Mon Sep 17 00:00:00 2001
From: Antonio Terceiro <terceiro@softwarelivre.org>
Date: Thu, 12 Mar 2015 14:09:37 -0300
Subject: [PATCH] server: revalidate sudo credentials on cleanup

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

diff --git a/server b/server
index 4c4a3d0..95d8a16 100755
--- a/server
+++ b/server
@@ -15,6 +15,7 @@ sudo redir --lport 80  --cport 80  --caddr $reverseproxy &
 sudo redir --lport 443 --cport 443 --caddr $reverseproxy &
 
 cleanup() {
+  sudo -v
   sudo pkill -9 redir
 }
 
--
libgit2 0.21.2