From 247035f8fc8d518fdee3ef9e43cf505d040b4272 Mon Sep 17 00:00:00 2001
From: martinlanghoff <martinlanghoff>
Date: Wed, 27 Dec 2006 01:49:14 +0000
Subject: [PATCH] redirect(): fix protocol name in redirection header()

---
 lib/weblib.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/weblib.php b/lib/weblib.php
index fe19c4b7fe..92b06c4a65 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -4799,7 +4799,7 @@ function redirect($url, $message='', $delay=-1) {
 
         $delay = 0;
         //try header redirection first
-        @header('HTTP/1.x 303 See Other'); //302 might not work for POST requests, 303 is ignored by obsolete clients
+        @header($_SERVER['SERVER_PROTOCOL'] . ' 303 See Other'); //302 might not work for POST requests, 303 is ignored by obsolete clients
         @header('Location: '.$url);
         //another way for older browsers and already sent headers (eg trailing whitespace in config.php)
         echo '<meta http-equiv="refresh" content="'. $delay .'; url='. $encodedurl .'" />';
-- 
2.39.5