reaplced the git service code (main gitbackendinterface()) with a new

[gwvp.git] / gwvplib / gwvpauth.php

diff --git a/gwvplib/gwvpauth.php b/gwvplib/gwvpauth.php
index 3e0ddcd..086af98 100644 (file)
--- a/gwvplib/gwvpauth.php
+++ b/gwvplib/gwvpauth.php
@@ -40,7 +40,6 @@ function gwvp_AskForBasicAuth()
        if(!isset($_SERVER["PHP_AUTH_USER"])) {
                header('WWW-Authenticate: Basic realm="My Realm"');
                header('HTTP/1.0 401 Unauthorized');
-               exit(0);
        } else return; 
 }
 
@@ -59,12 +58,6 @@ function gwvp_CheckAuthLevel($levels)
        return false;
 }
 
-function gwvp_fourZeroThree()
-{
-       header("HTTP/1.0 403 Permission Denied");
-       exit(0);
-}
-
 function gwvp_AuthNoPerms()
 {
        gwvp_goMainPage("gwvp_AuthNoPermsBody");