if ($logout) {
  print "<b>Logging out user: $ENV{'REMOTE_USER'}</b><br/>";
  $ENV{'REMOTE_USER'}=;
  $ENV{'REMOTE_ADDR'}=;
}