| 1 |
<?php |
<?php |
| 2 |
// $Id: webserver_auth.module,v 1.13 2006/03/03 05:02:28 weitzman Exp $ |
// $Id: webserver_auth.module,v 1.14 2006/03/03 05:08:46 weitzman Exp $ |
| 3 |
|
|
| 4 |
function webserver_auth_init() { |
function webserver_auth_init() { |
| 5 |
global $user, $account; |
global $user, $account; |
| 8 |
//do nothing because user is already logged into Drupal |
//do nothing because user is already logged into Drupal |
| 9 |
} |
} |
| 10 |
else { |
else { |
| 11 |
if ($name = $_SERVER["REMOTE_USER"]) { |
if ($name = $_SERVER["REMOTE_USER"] || ($name = $_SERVER["REDIRECT_REMOTE_USER"])) { |
| 12 |
// user is logged into webserver. |
// user is logged into webserver. |
| 13 |
$account->name = $name; |
$account->name = $name; |
| 14 |
//modules get to change the user bits before saving. use a global $account to do so. |
//modules get to change the user bits before saving. use a global $account to do so. |