inc/auth.inc.php
changeset 6 9fcac40c1b0e
parent 4 55ed92aa7cf5
child 13 2ff220cfde13
equal deleted inserted replaced
5:ebf8868e99f5 6:9fcac40c1b0e
   105 
   105 
   106 /*
   106 /*
   107  * Logout the user and kickback to login form.
   107  * Logout the user and kickback to login form.
   108  */
   108  */
   109 
   109 
   110 function logout($msg="You have logged out.")
   110 function logout($msg="")
   111 {
   111 {
       
   112 	if ( $msg == "" ) {
       
   113 		$msg=_('You have logged out.');
       
   114 	};
   112 	session_destroy();
   115 	session_destroy();
   113 	session_write_close();
   116 	session_write_close();
   114 	auth($msg);
   117 	auth($msg);
   115 	exit;
   118 	exit;
   116 }
   119 }