changeset 6 | 9fcac40c1b0e |
parent 4 | 55ed92aa7cf5 |
child 13 | 2ff220cfde13 |
--- a/inc/auth.inc.php Tue Apr 17 21:18:14 2007 +0000 +++ b/inc/auth.inc.php Wed Apr 18 21:08:07 2007 +0000 @@ -107,8 +107,11 @@ * Logout the user and kickback to login form. */ -function logout($msg="You have logged out.") +function logout($msg="") { + if ( $msg == "" ) { + $msg=_('You have logged out.'); + }; session_destroy(); session_write_close(); auth($msg);