isDevauthAllowed()) { page::redirect($this->getLoginUrl()); } $user = $this->getDevUsername(); if ($user) { if (authz::manager()->casLogin($user, null)) { $destUrl = F::get("d"); if ($destUrl) page::redirect($destUrl); } $retUrl = F::get("r"); if ($retUrl) page::redirect($retUrl); } else { $user = "NONE"; } $this->user = $user; } function print(): void { page::content_type("text/plain"); page::no_cache(); echo $this->user; } }