2 date_default_timezone_set('Europe/Amsterdam');
6 function __construct($dir, $existing = TRUE)
8 if (!file_exists($dir) and $existing) {
9 throw new Exception("Gebruiker niet gevonden in $dir");
12 $this->login = basename($dir);
17 return $this->$col = $this->$col(); # run method and cache
22 return rtrim(@file_get_contents("{$this->dir}/name.txt"));
27 return htmlspecialchars(implode(' & ', explode("\n", $this->rawname)));
32 return $this->name ?: $this->login;
37 return rtrim(@file_get_contents("{$this->dir}/email.txt"));
40 function admin($permission = NULL)
42 if (isset($permission)) {
43 return $this->admin && isset($this->admin[$permission]); # check level
45 if (!@file_exists("{$this->dir}/.admin")) {
46 return FALSE; # not an admin
48 return array_fill_keys(explode("\n", file_get_contents("{$this->dir}/.admin")), TRUE);
53 return @filemtime("{$this->dir}/last.log");
58 if ($log = @fopen("{$this->dir}/last.log", 'w')) {
59 $line = $_SERVER['REMOTE_ADDR'].' '.$_SERVER['HTTP_USER_AGENT'];
60 fwrite($log, $line."\n");
65 function login_password_verify($input, $test)
67 if (substr($test, 0, 1) != '$') {
68 # plaintext match for uncrypted passwords
69 return $input === $test;
71 return password_verify($input, $test);
74 function login_setcookie()
77 return setcookie('login', $User->auth, 0, '/');
80 function login($inuser, $inpass = NULL)
82 if (empty($inuser)) return;
83 if (!isset($inpass)) {
84 @list ($inuser, $inauth) = explode(':', $inuser, 2);
87 # find password data by user name
88 $userdir = 'profile/'.preg_replace('/[^a-z0-9]+/', '-', strtolower($inuser));
89 $pwfile = "$userdir/.passwd";
90 if (!file_exists($pwfile)) return;
91 $usertest = trim(file_get_contents($pwfile));
92 if (!$usertest) return;
95 $authhash = md5($usertest);
97 if (!login_password_verify($inpass, $usertest)) return;
100 if ($inauth !== $authhash) return;
103 if (function_exists('apache_note')) apache_note('user', $inuser);
105 $user = new User($userdir);
107 $user->pass = $usertest;
108 $user->auth = "$inuser:$authhash";
112 if (isset($_COOKIE['login'])) {
114 $User = login($_COOKIE['login']);