From 943aba1df86cb1f31a5c6c68a4040fddf68123e7 Mon Sep 17 00:00:00 2001
From: Neil Blakey-Milner <nbm@knowledgetree.com>
Date: Mon, 5 Dec 2005 16:53:25 +0000
Subject: [PATCH] Make sure we quit after redirecting, so that the existing connection doesn't do something silly.

---
 control.php | 1 +
 1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/control.php b/control.php
index 3b6fcd9..8690bc1 100644
--- a/control.php
+++ b/control.php
@@ -46,6 +46,7 @@ if (checkSessionAndRedirect(false)) {
             $url = $url . "&redirect=" . $redirect;
         }
         redirect($url);
+        exit(0);
     }
 }
 
--
libgit2 0.21.4