$user['user_name']); } else $globalauth = array('error' => "FOF_SUDO authorization error: session id $sudo_id is unknown"); print json_encode($globalauth);