10 unset($user);
34   $user = $data['username'];  variable
35   if (strlen($user) < 1) {
41     "WHERE user='$user' AND realm='$realm'";
44     error_log("EST: Session not found for user=$user realm=$realm");
49     error_log("EST: Session fetch failed for user=$user realm=$realm");
56     error_log("EST: Unexpected operation $oper for user=$user realm=$realm");
61     error_log("EST: Empty password for user=$user realm=$realm");
65   $A1 = md5($user . ':' . $realm . ':' . $pw);
70     error_log("EST: Incorrect authentication response for user=$user realm=$realm");
76   $user = "cert-" . $_SERVER["SSL_CLIENT_M_SERIAL"];  variable
78     "WHERE user='$user' AND realm='$realm'";
81     error_log("EST: Session not found for user=$user realm=$realm");
86     error_log("EST: Session fetch failed for user=$user realm=$realm");
93     error_log("EST: Unexpected operation $oper for user=$user realm=$realm");
121   if (!$reenroll && (!isset($user) || strlen($user) == 0)) {
129       (!isset($user) ||
190   $user = "cert-$sn";  variable
191   error_log("EST: user = $user");
214 …if (!$db->exec("UPDATE sessions SET user='$user', cert='$fingerprint', cert_pem='$cert' WHERE rowi…