comment function logout, unused

875f1a5e · Stephane Crozat · 0879efb0 · 875f1a5e
Commit 875f1a5e authored Oct 22, 2018 by Stephane Crozat
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

lib/cas.php lib/cas.php +2 -1

No files found.
--- a/lib/cas.php
+++ b/lib/cas.php
@@ -33,9 +33,10 @@ class CAS {
 		header('Location: '.$this->server.'login?service='.$this->protocol.'://'.$_SERVER['HTTP_HOST'].$_SERVER['REQUEST_URI']);
 	}

-
+/* UNUSED, TODO
 	public function logout()	{
 		header('Location: '.$this->server.'logout?service='.$this->protocol.'://'.$_SERVER['HTTP_HOST'].dirname($_SERVER['PHP_SELF']));//ou SCRIPT_NAME?
 		// On n'utilise pas REQUEST_URI sinon cela déconnecterait à l'infini.
 	}
+*/
 }