<? # -*- perl -*-

if ($have_write_log_php3 == "") {
  $have_write_log_php3 = "1";

  if ($maintdir == "") $maintdir = "..";
  
  require("$maintdir/constants.php3");
  require("$authdir/get-login.php3");

  function write_log($str) {

    return;

    global $theUser;
    global $gsuauthLog;
    global $logfile;
    global $adminemail;
    global $REMOTE_HOST;

    if (!$theUser->isValid()) {
      get_login(0);
    }

    # If it's a valid user, save that info

    $d = date("D M j H:i:s Y", time());
    $out = "$REMOTE_HOST [$d] ";
    if ($theUser->isValid()) {
      $out .= $theUser->getID() . "/" . $theUser->getEmail();
    } else {
      $out .= "System/$adminemail";
    }

    $out .= " \"$str\"\n";
    error_log($out, 3, $logfile);
  }
}

?>