From 4216f9fb7b5a23b8be5c76be031affa9ced45c43 Mon Sep 17 00:00:00 2001
From: Antonio Terceiro <terceiro@softwarelivre.org>
Date: Mon, 23 Feb 2015 12:30:17 -0300
Subject: [PATCH] add server script that forwards ports 80 and 443

---
 server | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+), 0 deletions(-)
 create mode 100755 server

diff --git a/server b/server
new file mode 100755
index 0000000..dafaa93
--- /dev/null
+++ b/server
@@ -0,0 +1,21 @@
+#!/bin/sh
+
+ROOTDIR="$(readlink -f $(dirname $0))"
+. $ROOTDIR/test/ip_helper.sh
+
+sudo -v
+sudo redir --lport 80  --cport 80  --caddr $reverseproxy &
+sudo redir --lport 443 --cport 443 --caddr $reverseproxy &
+
+cleanup() {
+  sudo pkill -9 redir
+}
+
+echo "Forwarding ports 80 and 443"
+echo "Hit ctrl-c to stop"
+echo "Browse to: https://softwarepublico.dev/"
+echo "Browse to: https://listas.softwarepublico.dev/"
+echo
+trap cleanup INT TERM
+tail -f /dev/null
+echo
--
libgit2 0.21.2