Project

General

Profile

« Previous | Next » 

Revision 13627

web/username_prefix.php: no prefix: use $_SERVER["SCRIPT_URL"] instead of rtrimming $_SERVER["REQUEST_URI"]

View differences:

trunk/web/username_prefix.php
15 15
		$dest = $_SERVER["SCRIPT_URL"]."?".$subpath
16 16
			.ltrim($_SERVER["QUERY_STRING"], "@"); # prepend to query string
17 17
	}
18
	else $dest = rtrim($_SERVER["REQUEST_URI"], "?"); # user empty->display page
18
	else $dest = $_SERVER["SCRIPT_URL"]; # user empty->display page (remove ? )
19 19
	
20 20
	header("Location: ".$dest);
21 21
}

Also available in: Unified diff