| 1 |
<?php |
<?php |
| 2 |
// $Id: webserver_auth.module,v 1.18 2007/04/24 01:17:45 weitzman Exp $ |
// $Id: webserver_auth.module,v 1.19 2008/03/10 21:43:42 weitzman Exp $ |
| 3 |
|
|
| 4 |
function webserver_auth_menu($may_cache) { |
function webserver_auth_menu($may_cache) { |
| 5 |
if ($may_cache) { |
if ($may_cache) { |
| 18 |
function webserver_auth_init() { |
function webserver_auth_init() { |
| 19 |
global $user, $account; |
global $user, $account; |
| 20 |
|
|
| 21 |
// two ways to get $name |
$remote_user = ""; |
| 22 |
if ($name != $_SERVER["REMOTE_USER"]) { |
|
| 23 |
$name = $_SERVER["REDIRECT_REMOTE_USER"]; |
//lets make sure we get the remote user whichever way it is available |
| 24 |
|
if (isset($_SERVER["REDIRECT_REMOTE_USER"])) { |
| 25 |
|
$remote_user = $_SERVER["REDIRECT_REMOTE_USER"]; |
| 26 |
|
} elseif (isset($_SERVER["REMOTE_USER"])) { |
| 27 |
|
$remote_user = $_SERVER["REMOTE_USER"]; |
| 28 |
|
} |
| 29 |
|
|
| 30 |
|
// two ways to get $name |
| 31 |
|
if ($name != $remote_user) { |
| 32 |
|
//this might be something to add as an admin panel function later |
| 33 |
|
//$name = strtolower($remote_user); |
| 34 |
|
$name = $remote_user; |
| 35 |
} |
} |
| 36 |
|
|
| 37 |
if (isset($user) && $user->id && $user->name === $name) { |
if (isset($user) && $user->id && $user->name === $name) { |