| | |
| | | if($port != 0) { |
| | | $url .= ':'.$port; |
| | | } |
| | | |
| | | $url .= $_SERVER['REQUEST_URI']; |
| | | |
| | | if(isset($_GET['ticket'])) { |
| | | $pos = max( |
| | | strrpos($url, '?ticket='), |
| | | strrpos($url, '&ticket=') |
| | | ); |
| | | $url = substr($url, 0, $pos); |
| | | } |
| | | |
| | | return $url; |
| | | } |
| | |
| | | } |
| | | |
| | | public function logout($returnUrl = NULL) { |
| | | session_start(); |
| | | @session_start(); |
| | | if($this->isAuthenticated()) { |
| | | unset($_SESSION[$this->sessionName]); |
| | | header('Location: '.$this->logoutUrl($returnUrl)); |
| | |
| | | } |
| | | |
| | | public function authenticate() { |
| | | session_start(); |
| | | @session_start(); |
| | | if($this->isAuthenticated()) { |
| | | return $_SESSION[$this->sessionName]; |
| | | } elseif(isset($_REQUEST['ticket'])) { |