Lines Matching defs:user
38 * get the unique user ID
48 * Return the user's session ID
62 * Log that we've seen the user (authenticated only)
69 $user = addslashes($_SERVER['REMOTE_USER']);
72 SET `user` = '$user'
324 // handle user agent
339 $user = addslashes($_SERVER['REMOTE_USER']);
359 user = '$user',
397 // handle user agent
413 $user = addslashes($_SERVER['REMOTE_USER']);
425 user = '$user',
447 $user = addslashes($_SERVER['REMOTE_USER']);
458 user = '$user',
470 * Log login/logoffs and user creations
472 public function log_login($type, $user = '') {
473 if(!$user) $user = $_SERVER['REMOTE_USER'];
476 $user = addslashes($user);
485 user = '$user',