Project

General

Profile

1 13614 aaronmk
<?php
2 13694 aaronmk
function login__from_env()
3
{
4
	return $_SERVER["PHP_AUTH_USER"]
5
		.($_SERVER["PHP_AUTH_PW"] !== "" ? ":".$_SERVER["PHP_AUTH_PW"] : "");
6
}
7
8 13614 aaronmk
function user2path($user) # multiple @ and nested . OK: a@b.c@url -> url?b.c.a
9 13695 aaronmk
{
10 13701 aaronmk
	$path = $user;
11
12 13698 aaronmk
	# remove padding used to visually separate elements:__x__@y__@url -> x@y@url
13 13701 aaronmk
	$path = preg_replace('/\b__|__\b/', '', $path);
14
15 13695 aaronmk
	# translate reverse @-paths into forward .-paths
16 13701 aaronmk
	$path = implode(".", array_reverse(explode("@", $path)));
17
18
	return $path;
19 13695 aaronmk
}
20 13614 aaronmk
21
if (!isset($_SERVER["PHP_AUTH_USER"])) # browser first omits Authorization
22
{
23
	header('WWW-Authenticate: Basic realm="please leave username/password blank or as filled in"');
24
}
25
else
26
{
27 13668 aaronmk
	$dest = preg_replace('!\b/!', "./", $_SERVER["SCRIPT_URI"])."?";
28
		# append trailing . to host to prevent infinite redirect loop
29 13665 aaronmk
	if ($_SERVER["PHP_AUTH_USER"] !== "") # prepend to query string
30 13694 aaronmk
		$dest .= "."/*force dotpath*/.user2path(login__from_env());
31 13665 aaronmk
	$dest .= $_SERVER["QUERY_STRING"];
32 13625 aaronmk
33
	header("Location: ".$dest);
34 13614 aaronmk
}
35
?>